00:00 - выражение функции в виде терма на языке ZF
03:38 - проекция функции и отношения
07:01 - сужение функции
09:00 - композиция функций
12:35 - образы и прообразы множеств
17:08 - отношение эквивалентности
18:50 - класс эквивалентности
24:03 - разбиение множества
25:49 - теорема о разбиениях и эквивалентности
29:13 - фактормножество
32:00 - строгий частичный порядок
34:09 - строгий линейный порядок
37:00 - нестрогий частичный порядок
38:11 - теорема о связи строгого и нестрогого порядков
42:36 - архетип базового множества
43:39 - наибольший элемент, он же максимум
44:40 - максимальный элемент
46:32 - минимальный элемент и минимум, он же наименьший элемент
47:00 - неограниченное сверху множество
47:54 - неограниченное снизу множество
49:21 - ограниченное сверху множество
50:30 - сравнение множеств
52:09 - точная грань множества, супремум и инфимум
59:22 - про аксиому полноты действительных чисел
1:00:01 - изоморфизм отношений
А.Савватеев. Арифметика остатков: