updated problem 5 in set theory exercises