一个集合中每个元素都是另一个集合的元素，称前者是后者的 子集 B⊆A⟺∀x[x∈B⟹x∈A] Tip 这个是证明的基础 如果 B 是 A 的 子集 并且 A不等于B，则 B 是 A 的 真子集 空集 是任何非空集合的子集，集合本身是集合的子集 NOTE 互为子集的集合是相等的，相等的两个集合互为子集 n 元集合的子集有 2n 个，所有不同子集的集合叫做 幂集 形式化：两者去掉外层符号，左侧每一个元素都能在右侧元素里找到