В первой статье цикла мы определили, что такое множество и что с ним можно сделать. Во второй статье цикла мы рассмотрели, что такое функция и какая она может быть. Теперь мы подойдём к теме, ради которой я, в основном, и делал весь цикл. Иронично, но некоторые из этих тем выйдут обособленно от цикла. Тема сегодняшней статьи настолько абстрактна, хотя и завораживающая, что я предупреждаю - некоторые моменты могут быть непонятны без прочтения первых двух статей цикла. Да, я постараюсь сделать материал максимально понятным, но не гарантирую понимания без предыдущих статей...

В прошлой части цикла мы обозрели общие понятия и базовые действия с множествами. В этой же статье мы рассмотрим, что такое функция с точки зрения Теории Множеств, какими свойствами она может обладать и, конечно, что с ними можно делать. Прошлая статья также была заметно длиннее, чем, например, первые три статьи про математическую логику. Данная статья будет не очень длинной. Помимо множеств в Теории Множеств имеется ещё один объект, причём довольно похожий. УПОРЯДОЧЕННАЯ ПАРА - это набор из двух элементов, в котором учитывается порядок...