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

Мат. elementary predicate