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

称两个集M与N为有相同基数，即|M|=|N|，若存在双射φ:M→N。且|M|≤|N|，若存在单射φ:M→N。