El conjunto de todos los elementos de formula_9 que son la imagen de algún elemento de formula_7 se llama la imagen de la aplicación, y se denota formula_25 o formula_26.