Розглянуто такі питання:
-- області визначення та значень бінарних відношень;
-- повністю визначені та функціональні відношення, відображення;
-- чи можна провести вибори старости потоку :)
-- кардинальний степінь множин;
-- теорема про потужність кардинального степеня скінченних множин;
-- властивості відображень: ін'єктивність, сюр'єктивність, бієктивність;
-- теорема про бієктивні відношення (обертання та композиція бієкцій є бієкціями).
Лектор: Сергій Яковлєв.
Дивіться у 720p, оскільки написи на дошці доволі дрібні.