definable predicate

Мат. определимый предикат