Could anyone help me with the following question:

Let R be a relation. Show that domR={x : ∃y ([x, y] ∈ R)}, is a set (where [x,y] is and ordered pair.

Also, let a and b be sets, Prove that there exists a set whose members are exactly the functions with domain a and codomain b

Many thanks.