Controimmagine
Da Wikipedia, l'enciclopedia libera.
Data una funzione 
, la controimmagine o immagine inversa di un sottoinsieme M di Y rispetto ad f è un sottoinsieme di N di X definito dalla proposizione "x appartiene a N se e solo se f(x) appartiene a M" e si indica con f − 1(M), detto altrimenti 
.
Valgono le seguenti proprietà:
- La controimmagine dell'unione di due insiemi è l'unione delle due controimmagini, in simboli:
- La controimmagine dell'intersezione di due insiemi è l'intersezione delle due controimmagini, in simboli:
