text: Для любого отображения g : ( X × Y ) → Z {\displaystyle g\colon (X\times Y)\rightarrow Z} отображение λ g : X → Z Y {\displaystyle \lambda g\colon X\to Z^{Y}} — это каррированная форма g {\displaystyle g} : λ g ( x ) ( y ) = g ( x , y ) {\displaystyle \lambda g(x)(y)=g(x,y)} .