for R being finite set
for X, Y being Subset of R holds
( card (X \/ Y) = card (X /\ Y) iff X = Y )