МНОЖЕСТВА 
ВИДЫ МНОЖЕСТВА
конечные
бесконечные
Счётные
Несчётные
ОПЕРАЦИИ НАД МНОЖЕСТВАМИ
Объединение множеств 
Пересечение 
Разность A\B 
Cимметрическая разность 
Дополнение 
ДЕКАРТОВО ПРОИЗВЕДЕНИЕ 
БИНАРНЫЕ ОТНОШЕНИЯ
Бинарное
Унарное
Матрица бинарного отношения
СООТВЕТСТВИЯ МЕЖДУ МНОЖЕСТВАМИ, ОТОБРАЖЕНИЯ
СВОЙСТВА БИНАРНЫХ ОТНОШЕНИЙ
3.Рефлексивность
4.Антирефлексивность
2.Симметричность
5.Антисимметричность
1.Транзитивность
Образы
Прообразы
Отображения
ПОДСТАНОВКИ(En)
1 Строка прообразы(аргументы)
2 строка образы
Каноническая подстановка 
Тождественная(единичная)
Обратная подстановка
ДЕЙСТВИЯ НАД ПОСТАНОВКАМИ
Умножение(выполняется справа-налево)
Возведение в натуральную степень
Возведение в отрицательную степень
Подстановку можно привести к единичной, используя инверсию или транспозицию