Image directe

Extrait.

L’image directe de 𝐴, un sous-ensemble de X {\displaystyle X} , par une application f  : X → Y {\displaystyle f\,\colon X\to Y} est le sous-ensemble de Y {\displaystyle Y} formé des éléments qui ont, par f {\displaystyle f} , au moins un antécédent appartenant à A {\displaystyle A}  : f ( A ) = { f ( x ) ∣ x ∈ A } = { y ∈ Y ∣ ∃ a ∈ A , y = f ( a ) } .