1) AUB=BUA; AÇB=BÇA– переместительный закон объединения и пересечения.
2) (АUB)UC = AU(BUC); (AÇB)ÇC=AÇ(BÇC)– сочетательный закон.
3) АUÆ=A, AÇÆ=Æ, A \ Æ=A, A \ A=Æ
1,2,3 – есть аналог в алгебре.
3.а) Æ \ A = Æ- нет аналога.
4)
Æ; E \ A =
; A \ E=Æ; AUA=A; AÇA=A; AUE=E; AÇE=A;
5.а)свойства 1-4 очевидны и не нуждаются в доказательствах.
5) AÇ(BUC)=(AÇB)(AÇC) – есть аналогичный распределительный закон Ç относительно U.