שינויים

נגדיר פונקציה מ <math>(A^{B)^C} \to A^{B\times C} </math> ע"י <math>f \mapsto g(b,c)= f(c)(b)</math>. היא חח"ע ועל.