# Exponential law

A property of the exponential function, such as $\exp(x+y) = \exp(x)\exp(y)$ or of a power, such as $x^{yz} = (x^y)^z$.
A property of sets of maps between sets, such as $\mathrm{Map}(X\times Y,Z) \leftrightarrow \mathrm{Map}(X, \mathrm{Map}(Y,Z))$, see Exponential law for sets.