ОКТЧ 5. Порядки

01:00 Отношение эквивалентности 02:20 Основная теорема о классах эквивалентности 16:53 Фактор множество 24:28 Отношение порядка (частичного порядка) 27:34 Диаграмма Хассе 37:45 Линейно упорядоченные множества 40:48 Изоморфизм 45:11 Сумма упорядоченных множеств 50:29 Произведение упорядоченных множеств 59:14 Декартово произведение множеств 01:02:55 Минимальный и наименьший элементы 01:07:16 Плотный порядок 01:08:11 Теорема о двух счетных, плотно, линейно упорядоченных множествах без наибольшего и наименьшего элементов Лектор: Мусатов Д.В. Дата лекции: Снимала: Шкатова Мария Монтировал: Старцев Дмитрий