Esta última notación está motivada por el hecho de que cuando X e Y son finitos y de tamaño |X| y |Y| entonces el número de funciones de X -> Y es |Y^X| = |Y|^|X| Este es un ejemplo de la convención de la combinatoria enumerativa que proporciona anotaciones para conjuntos basados en sus cardinalidades.Si X es infinito y hay más de un elemento en Y entonces hay innumerables funciones de X a Y, aunque sólo contablemente muchas de ellas pueden expresarse con una fórmula o un algoritmo.