for X being set ex Y being set st
( card X c= card Y & X /\ Y = {} )