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

Мат. unary predicate