satisfying predicate

Мат. выполняющий предикат