在集合论中处理差集或补集运算式时常用以下公式。
定理2 德摩根( De Morgan)公式
若 { A α : α ∈ A } \{A_{\alpha} : \alpha\in A \} {
Aα:α∈A} 是一族集合,则
(1)
( ∪ α ∈ A A α ) c = ∩ α ∈ A A α c ( \underset{\alpha\in A} {\cup} A_{\alpha} )^{c}=\underset{\alpha\in A} {\cap} A_{\alpha}^{c} (α∈A∪Aα)c=α∈A∩Aαc
(2)
( ∩ α ∈ A A α ) c = ∪ α ∈ A A α c . ( \underset{\alpha\, \in\, A} {\cap} A_{\alpha} )^{\, c}=\underset{\alpha\, \in\, A} {\cup} A_{\alpha}^{\, c}. (α∈A∩Aα)c=α∈A∪Aαc.
证明
(1)的证明.
设 x ∈ ( ∪ α ∈ A A α ) x \in( \underset{\alpha\in A} {\cup} A_{\alpha} ) x∈(α∈A∪Aα) ,则 x ∉ ⋃ α ∈ A A α x \not\in\underset{\alpha\in A} {\bigcup} A_{\alpha} x∈α∈A⋃Aα ,因此对任意 α ∈ A , x ∉ A α , \alpha\in A \,, x \notin A_{\alpha} \,, α∈A,x∈/Aα, 即对任意 α ∈ A , x ∈ A α c \alpha\in A \,, x \in A_{\alpha}^{c} \, α∈A,x∈Aαc ,从而 x ∈ ⋂ α ∈ A A α c x \in\underset{\alpha\in A} {\bigcap} A_{\alpha}^{c} x∈α∈A⋂Aαc 反之,设 x ∈ ∩ α ∈ A A α c x \in\underset{\alpha\in A} {\cap} A_{\alpha}^{c}