reducible predicate

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