相等:当 $\forall x ((x \in A) \leftrightarrow (x \in B))$,记 $A=B$,称 $A$ 与 $B$ 相等。
子集(超集):当 $\forall x ((x \in A) \to (x \in B))$,记 $A \subseteq B$,称 $A$ 是 $B$ 的子集,$B$ 是 $A$ 的超集。
基数:集合 $S$ 的元素数目称为基数,记为 $|S|$。
幂集:集合所有子集构成的集合。${\mathscr P}(S) = \{ T \, | \, T \subseteq S \}$。
$|{\mathscr P}(S)| = 2^{|S|}$,这是因为二项式定理的展开公式:
$$ 2^n = C_n^0 + C_n^1 + C_n^2 + \cdots + C_n^n $$
文氏图:略。
多重集
- 虽然仍然是元素的无序集,但每个元素作为成员可以出现多于一次,即拥有一个非负重数。
- 并集元素的重数取最大值。交集元素的重数取最小值。
- 和集($P + Q$)、差集都可进行定义(但作2差时重数如果小于零,需要调整为零)。
模糊集
- 每个元素都有一个隶属度。
集合的集合:称为集族,记为 $\mathcal A$。
大交、大并:$\cap \mathcal A = \bigcap _{A \in {\mathcal A}} A$,$\cup \mathcal A = \bigcup _{A \in {\mathcal A}} A$。
$n$ 元容斥原理:
$$ \begin{align*}
\left| \bigcup_{i=1}^{n} A_i \right| &= \sum_{i=1}^n \left| A_i \right| - \sum_{i<j} \left| A_i \cap A_j \right| \\ &+ \sum_{i<j<k} \left| A_i \cap A_j \cap A_k \right| - \cdots + (-1)^{n+1} \left| \bigcap_{i=1}^n A_i \right|
\end{align*} $$