Set theory/Simple rules/1/Exercise