Hukum eksponensial memberi korespondensi kontinu \(C([0,1]\times X,Y)\cong C([0,1],C_k(X,Y))\) pada tingkat yang diperlukan. Kebalikannya adalah \(H=\operatorname{ev}\circ(\widehat H\times\operatorname{id}_X)\text{.}\)