Дискретна математика, лекція 07-1: функціональні відношення, їх властивості; бієктивні відображення

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