A的所有子集组成的集合被称为A的幂集,幂集的基数比A的基数大,如果A可列,那么A的幂集不可列.