首先回忆一下有限集是怎么比较的。两个**,A={0,1},B={2,3},哪个大(或者说哪个多)?答案自然是一样多。因为它们都有两个元素,或者说它们之间是一一对应的(0和2,1和3对应)。以此为出发点,我们可以定义两个**的大小比较-**的势(cardinality)。 定义:称两个**等势如果这两个**之间有双射(即是单射又是满射)。 记号:用|A|表示**A的势。A,B等势记作|A|=|B|。

首先回忆一下有限集是怎么比较的。两个**,A={0,1},B={2,3},哪个大(或者说哪个多)?答案自然是一样多。因为它们都有两个元素,或者说它们之间是一一对应的(0和2,1和3对应)。以此为出发点,我们可以定义两个**的大小比较-**的势(cardinality)。 海鲜蒸柜定义:称两个**等势如果这两个**之间有双射(即是单射又是满射)。 钢丝线记号:用|A|表示**A的势。A,B等势记作|