Définitions de préimage
- (nom)Pour une application f définie d’un ensemble X à un ensemble Y (f:X↦Y) et un sous-ensemble B de l’ensemble de destination Y (B⊆Y), la préimage de B, f⁻¹(B), est l’ensemble des éléments de X envoyés dans B par f : f⁻¹(B)=x∈X∣f(x)∈B.
- (nom)Pour un seul élément y de l’ensemble de destination, la préimage de y∈Y est définie par : f⁻¹(y)=x∈X∣f(x)=y, c’est-à-dire l’ensemble des antécédents de y.