Finite sets/Explicit/Relationships/Exercise