Свойства операций над множествами

Пусть задан универсум . Тогда выполняются следующие свойства.

1. Инволютивность:

;

2. Идемпотентность:

, ;

3. Коммутативность:

, ;

4. Ассоциативность:

, ;

5. Дистрибутивность:

, ;

6. Поглощение:

, ;

7. Свойство нуля:

, ;

8. Свойство единицы:

, ;

9. Законы де Моргана:

, ;

10. Свойства дополнения:

, ;

11. Выражение для разности:

.