定义 为集合, 若 , 则称 为可数集或可列集.