可数集合是无限集合,那么它在一般无限集合中处于什么地位呢?
定理1
任何无限集合都至少包含一个可数子集(可列集合)。
证明
设 M M M 是一个无限集,因 M ≠ ∅ , M \neq \varnothing , M=∅, 总可以从 M M M中取一元素记为 e 1 , e _ { 1 } , e1, 由于 M M M 是无限集,故 M \ { e 1 } ≠ ∅ , M \backslash \left\{ e _ { 1 } \right\} \neq \varnothing , M\{
e1}=∅,于是又可以从 M \ ∣ e 1 ∣ M \backslash \left| e _ { 1 } \right| M\∣e1