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