00:00 - упорядоченная пара
02:09 - упорядоченная пара по Куратовскому
09:46 - проекции упорядоченной пары (левая и правая)
14:17 - прямое произведение множеств
19:55 - определение отношения
22:35 - всюду значимое отношение
23:42 - всюду определенное отношение
23:43 - обратно однозначное отношение
25:49 - однозначное отношение
27:47 - симметричное отношение
29:00 - антисимметричное отношение
30:54 - рефлексивное отношение
31:41 - транзитивное отношение
33:44 - антирефлексивное отношение
34:39 - связное отношение
37:33 - функция
37:48 - сюръекция
38:41 - инъекция
39:04 - биекция
42:27 - обозначение функции из A в B
43:40 - обратное отношение
45:08 - обратная функция
46:42 - область определения функции
47:07 - область значений функции
47:30 - терм f(x) и равенство y=f(x)