unary predicate

Мат. унарный предикат