Здесь требуется сделать небольшое отступление в область теории решения изобретательских задач. В ТРИЗ есть понятие свёртывания. Суть его заключается в следующем. Предположим, некая система (машина, деталь) выполняет какую-то функцию. Есть также другая система (другая машина, деталь), выполняющая другую функцию. Если объединить две эти системы в одну новую систему, которая будет выполнять сразу две функции, то выигрыша особого мы не получим. Если же системы имеют какие-то общие части и при объединении эти части можно «сократить», то выигрыш (хотя и небольшой) все-таки есть...

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