nullary predicate

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