שינויים

'''תשובה'''

יהיו <math>|A| = k,|B| = \lambda ,|C| = \eta</math>.

לכן, בצד שמאל: <math>\{f:C \to \{g:B \to A\}\}</math>. בצד הימין: <math> \{ h:B \times C \to A\} </math>.