I am given two forms of the axiom of choice, and I need to show that they are equivalent. Can someone help?

Form 1: a relation a function and and

Form 2: [If , y is not equal the empty set, then is not equal the empty set.

Where is the Cartesian product defined as the set of functions f with dom f=X and for all y in X, f(y) is in y.