В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/mnojestva-i-operacii-nad-nimi-623723e13c14f46c081ff001] были представлены основные понятия теории множеств, в том числе сформулировано понятие множества и даны операции над ними. В этой лекции рассмотрим множества, которые формируются определённым образом, такие множества могут обладать дополнительными свойствами, о которых будет рассказано в следующей лекции. Прежде чем сформулировать понятие Бинарного отношения, требуется ознакомиться с некоторыми определениями...

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