基数在数学上，是集合论中刻画任意集合大小的一个概念。两个能够建立元素间一一对应的集合称为互相对等集合。例如，3个人的集合和3匹马的集合可以建立一一对应，是两个对等的集合。根据对等关系，可以对集合进行分类，只要基数是互相对等的集合，那么就可以把它们归到同一类里面，相当于把每一个集合都归到了某一类。任意一个集合A所属的类，就被称为集合A的基数，记作|A|。因此，当A与B同属一个类时，A和B就拥有了相同的基数，即|A|=|B|。而当A与B不同属一个类时，它们的基数也不同。