вспомогательный предикат

Мат. auxiliary predicate