Controimmagine

Data una funzione f:X --> Y, la controimmagine di un sottoinsieme M di Y è un sottoinsieme di N di X definito dalla proposizione "x appartiene a N se e solo se f(x) appartiene a M".

Valgono le seguenti proprietà:

• La controimmagine dell'unione di due insiemi è l'unione delle due controimmagini.
• La controimmagine dell'intersezione di due insiemi è l'intersezione delle due controimmagini.

---

|