- высказывание, содержащее переменную.
- предметная область предиката.
Пусть А – множество объектов произвольной природы (предметная область предиката).
-местный предикат – произвольное отображение 
Множество истинности данного предиката 
-
- характеристическая
функция от x на множестве
А - совпадает
с предикатами
