La exponenciación de cardinales se define a partir del conjunto de funciones de entre los dos conjuntos formula_61 y formula_62: