差集合
P, Q をある集合の部分集合とするとき、
( P ∪ Q ) c = P c ∩ Q c ( P ∩ Q ) c = P c ∪ Q c {\displaystyle {\begin{aligned}(P\cup Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cap Q^{\mathrm {c} }\\(P\cap Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cup Q^{\mathrm {c} }\end{aligned}}}
が成り立つことが分かる。これはもっと一般化できて、{Pλ}λ∈Λ をある基礎となる集合の部分集合の族とするときに、