| ff Для всех(ЕслиПринадлежитТоПринадлежит)).
Оконечное объединение:
Для некоторого( Принадлежит&Принадлежит )}).
Обратное утверждение:
Принадлежит.
Декартово произведение:
Принадлежит&Принадлежит}).
Некоторые конкретные сущности определяются и обозначаются особо:
Нулевая сущность:
(=TheНуль ).
Пустое множество:
(Не = }).
Класс индивидов:
( ={ \ Индивид }).
Класс элементов (Универсальный класс):
( ={ \ Для некоторого( Принадлежит)})
Класс всех функций:
Для некоторогоДля некоторого.
& для всехДля всехДля всех
(Если [] Принадлежит
& [] Принадлежит
То))}).
Левый домен произвольного отношения: