Si "A" y "B" son dos conjuntos cualesquiera y formula_4 y formula_5 se puede definir la exponenciación formula_10 como el cardinal del conjunto de funciones de "B" en "A":