Set theory/Simple rules/Exercise