Проиллюстрируем сказанное:

Коммутативный закон: Об'единение (пересечение) отличников и спортсменов равно об'единеию (пересечению) спортсменов и отличников.

Ассоциативный закон: От изменения порядка об'единения (пересечения) спортсменов, отличников и красавцев результат не меняется.

Дистрибутивный закон (только экзотическая версия): Об'единение красавцев с пересечением спортсменов и отличников равно множеству, в котором пересекаются об'единения красавцев и спортсменов с об'единеием красавцев с отличниками. (В условных обозначениях это было бы гораздо короче и нагляднее, но мы зареклись насчет формул).

Сложновато воспринимается на слух закон поглощения, который, однако, в ряде случаев позволяет упрощать теоретико-множественные конструкции. Пересечение отличников с об'единением отличников и спортсменов дает множество отличников. Или второй вариант. Об'единение отличников с пересечением отличников и спортсменов дает множество отличников. Тем не мение, если обдумать сказанное, и поразмахивать руками, то справедливость результатов очевидна.

Есть еще закон, название которого почему-то студентов забавляет – он им, видимо, что то-напоминает. А закон этот смело можно отнести к самым важным законам (свойствам). Это закон ИДЕМПОТЕНТНОСТИ . Об'единение (пересечение) множества спортсменов с множеством спортсменов дает множество спортсменов.

Очень по-французски звучит ЗАКОН Де Моргана : Дополнение об'единения отличников со спортсменами равно пересечению дополнения множества спортсменов с дополнением множества отличников. И второй вариант. Дополнение пересечения отличников со спортсменами равно об'единению дополнения множества спортсменов с дополнением множества отличников. За универсум (для дополнения) можно взять множество студентов группы (или университета, или мира – роли не играет). Возьмите реальных спортсменов с отличниками и убедитесь в справедливости закона.

Очень прост закон ДВОЙНОГО ДОПОЛНЕНИЯ . Дополнение дополнения множества спортсменов есть само множество спортсменов. Персонально для тех, кто успешно продирается через всю нашу словесную казуистику, можем сформулировать ближайшее следствие из этого закона. Дополнение дополнения дополнения множества спортсменов есть дополнение множества спортсменов.

Самыми экзотическими являются два закона: ПРОТИВОРЕЧИЯ и ИСКЛЮЧЕННОГО ТРЕТЬЕГО .

Противоречия: Пересечение множества спортсменов с дополнением множества спортсменов пусто. Действительно, коль скоро в дополнение множества спортсменов входят все остальные студенты неспортсмены, то у этого пересечения не может быть общих элементов.

Исключенного третьего: Об'единение множества спортсменов с дополнением множества спортсменов совпадает с рассматриваемым универсумом. Действительно, коль скоро в дополнение множества спортсменов входят все остальные студенты неспортсмены из универсума, то это об'единение как раз и составляет весь универсум.

Остается только высказать сожаление, что не все математики согласны с этими законами. Еще большее сожаление вызывает то, что у них на это есть весьма веские основания… Не менее веские, чем у сторонников законов.

Несогласные себя называют КОНСТРУКТИВИСТАМИ или ИНТУИЦИОНИСТАМИ .

Согласным же ничего не осталось, как назвать самих себя КЛАССИКАМИ … С чем не согласны несогласные.