определения
бинарные отношения
отношения эквивалентности, классы эквивалентности
функции (как частный случай отношений): образы и прообразы множеств
виды функций: инъекции, сюръекции и биекции
формулы для количества инъекций, сюръекции и биекции из конечного множества в конечное
изоморфизм графов
композиция отношений, ассоциативность композиции
теорема об обратной функции
частичные порядки: строгие и нестрогие
изоморфизм порядков
минимальные и максимальные элементы в частичных порядках, наибольшие и наименьшие элементы