Свойство дистрибутивности (распределительный закон) работает как для объединения относительно пересечения, так и для пересечения относительно объединения множеств. 2
Дистрибутивность пересечения относительно объединения гласит, что чтобы пересечь множество A с объединением множеств B ∪ C, можно пересечь множества A ∩ B и A ∩ C, а потом найти объединение получившихся множеств. 5 Это записывается как A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). 35
Дистрибутивность объединения относительно пересечения, в свою очередь, утверждает, что чтобы объединить множество A с пересечением множеств B ∩ C, можно объединить множества A ∪ B и A ∪ C, а потом найти пересечение этих множеств. 5 Это записывается как A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C). 5
Таким образом, это свойство позволяет менять порядок действий, и в результате получится одинаковый результат. 1