15. Порядок и эквивалентность

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 - изоморфизм отношений А.Савватеев. Арифметика остатков: