设是正整数集的一个无限子集，那么是一个可数无限集