任何无限集均含有一个可数子集。
出自:实变函数