Set theory/Inclusion in union/Equivalence/Exercise