Символы и обозначения в математике

СИМВОЛЫ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

¬  не

И

ИЛИ

=> следует 

<=> равносильно 

КВАНТОРЫ

для любого

 существует

  выполняется

:  такое, что

МНОЖЕСТВА

 - элемент x принадлежит множеству Х

 - множество Х явлется подмножеством множества Y

 - пересечение множеств X и Y: общая часть множеств X и Y

 - объединение множеств X и Y: элемент x принадлежит и множеству X и множеству Y

 - дополнение: элемент х принадлежит множеству X, но не принадлежит множеству Y 

Верхняя граница (супремум) множества А:

Нижняя граница (инфимум) множества А: