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

Самое тривиально определение