Se \(A\) e \(B\) sono due insiemi si indica con
\(A^B\) l'insieme delle funzioni da \(B\) ad \(A\):
\[ A^B = \{ f : B \to A \} \]
Si scopre che (almeno per insiemi finiti)
\[ \#(A^B) = \#(A)^{\#(B)} \]
dove \( \#(A) \) è il numero di elementi in \(A\)
(cardinalità di \(A\))