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

在基数形式定义背后的直觉是构造一个集合的相对大小的概念而不提及它有那些成员，对于有限集合这是容易的，可以简单的计数一个集合的成员的数目，为了比较更大集合的大小，必须借助更加微妙的概念。