##### 补集 - 补集 - **补集**表示一个集合中不属于另一个集合的元素的[[集合]], 用于描述一个集合相对于另一个集合的缺失部分. 设 $U$ 是一个全集, 即讨论中所有可能出现的元素构成的集合, 对于 $U$ 的任一[[子集]] $A \subseteq U$, 其补集定义为 $A^c = \{ x \in U \mid x \notin A \}$, 也可以写作差集 $U \setminus A$, 表示全集 $U$ 去掉 $A$ 中的所有元素 - $A^c = \{ x \in U \mid x \notin A \}$