任意の集合 A,B,C について恒等的に成り立つ分配法則はどれか。

集合論の分配法則は論理演算の分配と同型で，交わりが和に分配する形 A∩(B∪C)= (A∩B)∪(A∩C) が常に成立する。この等式はVenn図で円を描けば三つの重なり部分が一致することから視覚的にも確認できる。また要素xについての包含で示すと，xが左辺に属するならx∈A かつ(x∈B または x∈C) が成り立ち，それはちょうど右辺のいずれかの条件を満たすことと同値である。他の選択肢は交差と和の位置が誤っており，一般には成立しない。