概念

补集

全集 U 中不属于 A 的元素组成的集合,记作 ∁_U A。

教材原文

对于一个集合 A,由全集 U 中不属于集合 A 的所有元素组成的集合称为集合 A 相对于全集 U 的补集(complementary set),简称为集合 A 的补集,记作 UA\complement_{U}A ,即

UA={xxU,xA},\complement_ {U} A = \{x \mid x \in U, \text {且} x \notin A \},

可用 Venn 图(图 1.3-4)表示.

要点

  • 补集是「从全集里挖掉 AA 剩下的部分」:UA=UA\complement_U A=U\setminus A
  • AUA\subseteq U 时,元素个数满足 UA=UA|\complement_U A|=|U|-|A|
  • 常见问法:求补集本身、求补集的元素个数、求补集与其他集合的交并。

学它之前先会

2 条前置、最深 2 层。源文件只声明直接前置,长链由前置边构建期递归派生(ADR-0016)。

以下内容以本条为前置

学会本条之后能往哪走——由前置边反向派生,无手写清单(ADR-0002)。

1 道题考到本条——由攻略的正向声明反向派生,无手写清单(ADR-0002/0016)。