Imàgen direta
Si  a l’è una funziú d'un cungjuunt X int un cungjuunt Y e A un sübcungjuunt da X, alura l'imàgen direta da A par f al è ul sübcungjuunt da Y furmaa di elemeent ch’i è imàgen par f d'almaanch un elemeent da A :

,
u .

Si A=X, alura f(X) al è cjamada l'imàgen da f. 

Ga sa vardarà bé da cunfuunt l'imàgen direta par f d'una paart da X, cun l'imàgen par f d'un elemeent x da X.

Cunsidéremm l'aplicazziú , definida par

L'imàgen direta da {2,3} par f al è f({2,3})={c,d} e l'imàgen da f al è {a,c,d}.

Vargüne cunseguenze imédiate da la definizziú : 
par tüte le parte A1 e A2 da X,

l'inclüsiú in l'òolt sentüü al è falsa in generaal
.
par tüta paart B da Y, . 
 sürgetiva. 
par tüta paart A da X,  
. 
Par tüta famèja  da parte da X,

Par tüta famèja  da parte da X,

Vidée apó Imàgen recípruca

Teuria dei ensèm