WikiSort.ru - Не сортированное

Принцип двойственности в абстрактной теории множеств. Пусть дано множество М. Рассмотрим систему всех его подмножеств А, В, С и т. д. Справедливо следующее предложение: если верна теорема о подмножествах множества М, которая формулируется лишь в терминах операций суммы, пересечения и дополнения, то верна также и теорема, получающаяся из данной путём замены операции суммы и пересечения соответственно операциями пересечения и суммы, пустого множества Λ — всем множеством М, а множества М — пустым множеством Λ. При этом дополнение суммы заменяется пересечением дополнений, а дополнение пересечения — суммой дополнений.

На этом принципе основаны законы де Моргана.

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