theoretic predicate

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