离散数学
集合等势
定义
已知
集合 $A$ 和集合 $B$
则 $A$ 与 $B$
等势
:= 存在 $A\to B$ 的
双射
记作 $A \approx B$
性质