эквивалентные предикаты

Мат. equivalent predicates