可数链条件

countable chain condition