实变函数论1-集合5-无限集1-可列集合5：定理3【设A为可列集合，B为有限集合或可列集合，则A∪B为可列集合】⇔【至多可数个至多可数集合的并仍是至多可数集合】

下面我们来研究由可数集出发通过加法运算可产生什么样的集合，

定理3

设 $A$ 为可数集， $B$ 为 有限或可数集，则 $A\cup B$ 为可数集。

证明
(1)先设 $A\cap B=\varnothing .$

由于可数集总可排成无穷序列，不妨设 A = { a 1 , a 2 , ⋯   } , B = { b 1 , b 2 , ⋯   , b n } A = \left\{ a _ { 1 } , a _ { 2 } , \cdots \right\} , B = \left\{ b _ { 1 } , b _ { 2 } , \cdots , b _ { n } \right\} A={ a1​,a2​,⋯},B