Esta relación puede demostrarse también observando que el conjunto potencia de es equivalente al conjunto de funciones con dominio y codominio , .