L'image directe d'un sous-ensemble A de X par une application est le sous-ensemble de Y formé des éléments qui ont au moins un antécédent par f d'un élément de A : ou . Si A=X, alors f(X) est appelée ...