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

Пусть А, В, С – некоторые подмножества множества Е. Тогда справедливы следующие свойства операций:

1) - коммутативность;

2) - ассоциативность;

3) - дистрибутивность;

4) АÈА=А, АÇА=А - идемпотентность;

5) АÈÆ=А, АÇÆ=Æ;

6) АÈЕ=Е, АÇЕ=А;

7) С_Е(С_ЕА)=А - инволюция;

8) С_Е(АÈВ)=(С_ЕА)Ç(С_ЕВ);

9) С_Е(АÇВ)=(С_ЕА)È(С_ЕВ);

10) АÇ(С_ЕА)= Æ;

11) АÈ(С_ЕА)=Е.