partial predicate

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