Let $X$ and $Y$ each be a D16: Countable set.

Then $X \cup Y$ is a D16: Countable set.

Binary union of countable sets is countable

Proofs

Proof 0

Let $X$ and $Y$ each be a D16: Countable set.