Countable union of countable sets (source code)

= Countable union of countable sets
{wiki}

A countable union of countable sets is countable, using a diagonal enumeration.