controimmagine
controimmagine o antimmagine o preimmagine o fibra, insieme degli elementi del dominio che una funzione associa a un sottoinsieme del codominio; la controimmagine è dunque un sottoinsieme del dominio della funzione. Data una funzione ƒ: X → Y, la controimmagine di un sottoinsieme A di Y, indicata con ƒ−1(A), è il sottoinsieme di X costituito da tutti gli elementi x di X tali che ƒ(x) ∈ A. Per esempio, nella funzione ƒ: R → R definita da y = √(x), la controimmagine di N è costituita dai numeri quadrati 0, 1, 4, 9, ... perché sono tutti e soli i numeri reali la cui radice quadrata è un numero naturale.