Дистрибутивность операций над множествами

Распределительность

Дистрибутивность пересечения относительно объединения:
$$A \cap (B \cup C)=(A \cap B) \cup (A \cap C)$$
Дистрибутивность объединения относительно пересечения:
$$A \cup (B\cap C)=(A \cup B) \cap (A \cup C)$$
Дистрибутивность пересечение относительно дизъюнктного объединения (симметрической разности множеств):
$$A \cap (B \bigtriangleup C)=(A \cap B) \bigtriangleup (A \cap C)$$