базисный предикат

Мат. basic predicate