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

Мат. partial predicate