差集合
( ⋃ λ ∈ Λ P λ ) c = ⋂ λ ∈ Λ P λ c ( ⋂ λ ∈ Λ P λ ) c = ⋃ λ ∈ Λ P λ c {\displaystyle {\begin{aligned}\left(\bigcup _{\lambda \in \Lambda }P_{\lambda }\right)^{\mathrm {c} }&=\bigcap _{\lambda \in \Lambda }P_{\lambda }^{\mathrm {c} }\\\left(\bigcap _{\lambda \in \Lambda }P_{\lambda }\right)^{\mathrm {c} }&=\bigcup _{\lambda \in \Lambda }P_{\lambda }^{\mathrm {c} }\end{aligned}}}
が成り立つ。これらをド・モルガンの法則という。
この法則は、対応する論理記号の性質(特に双対性)を反映したものである。詳しくは記号論理学の項目を参照。