for X, Y being set st (card X) +` (card Y) = card X & card Y in card X holds
card (X \ Y) = card X