1、有序性。自然数的有序性是指，自然数可以从0开始，不重复也不遗漏地排成一个数列：0，1，2，3，…这个数列叫自然数列。一个集合的元素如果能与自然数列或者自然数列的一部分建立一一对应，我们就说这个集合是可数的，否则就说它是不可数的。
2、无限性。自然数集是一个无穷集合，自然数列可以无止境地写下去。
对于无限集合来说“，元素个数”的概念已经不适用，用数个数的方法比较集合元素的多少只适用于有限集合。为了比较两个无限集合的元素的多少，集合论的创立者德国数学家康托尔引入了一一对应的方法。这一方法对于有限集合显然是适用的，现在把它推广到无限集合，即如果两个无限集合的元素之间能建立一个一一对应，我们就认为这两个集合的元素是同样多的
