格奥尔格·康托尔甚至以此作为无穷集合的定义：如果一个集合能够和它的一部分构成一一对应的关系，它就是无穷集合。
了解了无穷这一性质，那我们得出这么一个结论：自然数、偶数、整数都是一样多的。或许你会质疑既然他们都无穷，那就数量都一样呗，还需要讨论这么多嘛？
需要，之所以说这几个集合基数相等，是因为它们还有一个共同的特点：可数。
所谓可数，可以理解为能够找到一种规则把所有的数列出来，然后就可以按着这个顺序一直数下去。
比如自然数，0,1,2,3,4,5……，比如偶数，0,2-2,4-4,6-6……而只要能全部列出来，就可以建立一一对应的关系，依次按顺序对应就好了，甚至都不用弄明白具体的规则是什么，所以只要是可数无穷，就可以说集合里元素数量是一样多的。
可数
有理数可以表示为q/p的形式，取正有理数部分，我们可以按p q的值由小到大来列出所有正有理数，具体的顺序可以参照下图。
