El conjunto de todas las funciones desde un conjunto X a un conjunto Y se denota X -> Y, por [X -> Y] o por X^Y.