предикатная константа

Мат. predicative constant