for X, Y being set holds X /\ Y misses X \ Y