21.4.2: The Complement of a Set