mula_20中"准确的一个"配对，"并且"反过来也同样，这就定义了一个双射。我们将这个情境一般化，定义当且仅当它们之间存在双射，两个集合的大小相同。对于有限集，这里给出了“大小相同”的常用定义。那么对于无限集呢？考虑集合formula_21（正整数集），和formula_22（正偶数集）。我们说，在我们的定义下，这些集合有相同的大小，并且因此"B"是无限可数集。我们需要证明它们之间存在双射。但这是很简单的，运用formula_23，那么正如前面的例子，formula_25的每个元素都已和for