任何无限集均含有一个可数子集。