theorem Th33: :: CARD_2:34

for X, Y being set holds card (X \/ Y) c= (card X) +` (card Y)