1.含义：由全集$U$中不属于集合$A$的所有元素组成的集合，记为：∁$U$$A$
2.表达式：∁$U$$A$＝{$x|x∈U且x∉A$}
3.性质：$A$∩(∁$U$$A$)＝ ∅
$A$U(∁$U$$A$)＝$A$
∁$U$(∁$U$$A$) = $A$
∁$U$($A∪B$)= ∁$U$$A$∩∁$U$$B$
∁$U$($A∩B$)= ∁$U$$A$U∁$U$$B$