Supongamos que hay un mapa formula_1 de un espacio de función formula_2 a otro espacio de funciones formula_3 y una función formula_4 para que f sea la imagen formula_5 de Es decir, .