1. Идемпотентность пересечения, объединения.
АА = А АА = А
2. Коммутативность пересечения, объединения.
АВ = ВА АВ = ВА
3. Ассоциативность пересечения, объединения.
(АВ) С = А (В С) (АВ) С = А (В С)
4. Законы поглощения.
(АВ) А = А (АВ) A = А
5. Свойства пустого множества.
А = А= А
6. Свойства универсума.
А U = A АU = U
7. Инволютивность.
= А
8. Законы де Моргана.
9. Свойства дополнения.
А = А= U
10. Выражения для разности.
А \ В = А