теоретический предикат

Мат. theoretic predicate