Notese!
La imagen directa e inversa son funciones conjuntistas
, y no puntuales . Pues tomamos conjuntos en lugar de solo puntos .
Definición. (Imagen Directa)
Sea
, dado , la imagen directa de bajo es
Teorema. (Propiedades)
Definición. (Imagen Inversa)
Sea
y sea , la imagen inversa de bajo es el conjunto
Observación.
Sea
y
Es claro que,y que , además
Teorema. (Propiedades)