若A,B有一个无限可列集,一个有限可列集,不妨设 ,A是无限可列集,
若A,B有一个无限可列集,一个有限可列集,不妨设 ,A是无限可列集,
若A,B都是有限可列集,则 是有限集,因而也是可列集;
根据f可以划分A的元素的等价类,设全体等价类的集合 ,对于每一个等价类 ,
选取代表元 ,代表元的全体组成的集合记为 ,由于B与 是等势的, 与
是等势的,因此B与 是等势的,由于A是可列集,从而 是可列集,从而B是
b)A为实数集,B为无理数集,A-B=Q,实数集Q是可列集
c)A为无理数集,B为非正无理数集,A-B为正无理数集
从而 可列对任意n都是成立的,因此可列个可列集的并集是可列的