展开 不可数集的定义和性质