Originally Posted by

**MoeBlee** f is not really a function of two variables. It's just a function of one variable. For each object x in BuC, we have that f maps x to some member of A. So 'x' is the only variable.

So, for each f in {f | f is a function from BuC into A} we want to map f to a member of

{g | g is a function from B into A} X {h | h is a function from C into A}.

Now, you do have the right idea that both B and C are going to be involved here. All you have to do now is think about f (which is a function from BuC into A) and which member of

{g | g is a function from B into A} X {h | h is a function from C into A}

you want to map f to.

So think about the members of

{g | g is a function from B into A} X {h | h is a function from C into A}.

Now, answering this question will lead you further:

What KIND of set is

{g | g is a function from B into A} X {h | h is a function from C into A} ?

So, what form does every member of

{g | g is a function from B into A} X {h | h is a function from C into A}

have?