Naive Set Theory Excercises Section 15Starred questions are my additions, all other questions should have occurred to you while reading the text.1. Use the Axiom of Choice to show that every relation includes a function with the same domain.In other words, let AandBbe sets (do not assume they are finite or even countable),and letRbe a relation from AtoB. Prove that there exists a function ffromdom(R)to Bso that for anya∈dom(R),aRf(a