przemienność sumy zbiorów

A ∪ B = B ∪ A

przemienność iloczynu zbiorów

A ∩ B = B ∩ A

łączność sumy zbiorów

(A ∪ B) ∪ C = A ∪ (B ∪ C)

łączność iloczynu zbiorów

(A ∩ B) ∩ C = A ∩ (B ∩ C)

rozdzielność iloczynu względem
sumy zbiorów

A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

rozdzielność sumy względem
iloczynu zbiorów

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

prawa de Morgana dla zbiorów

(A ∩ B)' = A' ∪ B'
(A ∪ B)' = A' ∩ B'