定义

$\mathrm{Card}(A)$ :=

1. 有穷集 $A$ 的基数 $\mathrm{Card}(A)$ = 集合元素个数
2. $\mathrm{Card}(A)=\mathrm{Card}(B) \Leftrightarrow A \approx B$

性质

1. $\mathrm{Card}(A)\leq \mathrm{Card}(B) \land \mathrm{Card}(A) \geq \mathrm{Card}(A) \implies \mathrm{Card}(A) = \mathrm{Card}(B)$