等势，这是因为「formula_11苹果, formula_12马, formula_13园丁」是两个集合之间的一一对应。不过在这个例子中, 不用等势的概念也知道它们的元素不多不少, 是3个。对于无穷集可举一个例子如下：正偶数集合formula_14和自然数集合formula_15等势，这是因为由公式formula_16所决定的函数formula_17是一个由formula_18到formula_19的双射。等势的概念只能说明两个（有限或无限）集合的元素是否「一样多」的问题。那么以下说明集合"formu