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

Мат. reducible predicate