定义：

A‾=x∣x∈Iandx∉A,x⊆I \overline{A} = {x|x \in I \quad and \quad x \notin A, x \subseteq I}

图示：

补集 - 图1

性质：

A∪A‾=A A \cup \overline{A} = A

A∩A‾=∅ A \cap \overline{A} = \varnothing

A∩B‾=A‾∪B‾ \overline{A \cap B} = \overline{A} \cup \overline{B}

A∪B‾=A‾∩B‾ \overline{A \cup B} = \overline{A} \cap \overline{B}