Countable chain condition (source code)

= Countable chain condition
{wiki=Countable_chain_condition}