定理4
设 A i ( i = 1 , 2 , 3 , ⋯ ) A _ { i } ( i = 1 , 2 , 3 , \cdots ) Ai(i=1,2,3,⋯) 都是可数集,则 ⋃ i = 1 ∞ A i \bigcup _ { i = 1 } ^ { ∞ } A _ { i } ⋃i=1∞Ai 也是可数集。
定理5
有理数全体成一可数集合,
证明
设 A i = { 1 i , 2 i , 3 i , ⋯ } ( i = 1 , 2 , 3 , ⋯ ) , A _ { i } = \left\{ \cfrac { 1 } { i } , \cfrac { 2 } { i } , \cfrac { 3 } { i } , \cdots \right\} ( i = 1 , 2 , 3 , \cdots ) , Ai={
i