mula_18的基数则是与formula_18等势的最小序数formula_71。 （若不接受选择公理，我们也可对非良序集formula_18定义基数，就是所有与formula_18等势的集的阶中最小者。）
有限集的基数.自然数的一种定义是formula_74。可以见到，与数formula_75等势的集必有formula_75个元素。如集合formula_77的基数为formula_78。以下是有限集的三个等价定义：它与某自然数等势；它只有一个等势的序数，就是它的基数；它没