exercise 2.62 union-set