for X, Y being finite set holds card (X \/ Y) <= (card X) + (card Y)