Set theory/Characterization of inclusion/Exercise