theorem Th84: :: CARD_2:85

for X, Y being set st X is countable & Y is countable holds
X \/ Y is countable