在数学上，基数是集合论中刻画任意集合大小的一个概念。两个能够建立元素间一一对应的集合称为互相对等集合。例如三个人的集合和三匹马的集合可以建立一一对应，是两个对等的集合。
序数原来被定义为良序集的序型，而良序集A的序型，作为从A的元素的属性中抽象出来的结果，是所有与A序同构的一切良序集的共同特征。
