基数（cardinal number）在数学上，是集合论中刻画任意集合大小的一个概念。两个能够建立元素间一一对应的集合称为来自互相对等集合。例如3个人的集合和3匹马的集合可以建立一一对应，是两个对等的集合。