Sea X un conjunto cualquiera no vacío y sea E el conjunto de todas las funciones de E en E.