可数集的子集肯定可数,另外还有一个特殊子集:空集所以可数集的子集至多可数可数集的子集是至多可数的。 有限多个可数集的并集是可数的。 在承认可数选择公理的前提下,可数多个可数集的并集是可数的。 有限多个可数集的笛卡尔积是可数的。 对集合S,下面3种说法等价:1、S至多可数,即存在S到自然数集的单射;2、S为空集,或存在自然数集到S的满射;3、S为有限集或存在自然数集与S间的双射。 值域为可数集的单射,其定义域至多可数。 定义域为可数集的满射,其值域至多可数。