préimage

Définitions

1. 1. mathématiques 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.
2. 2. mathématiques 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.

Étymologie

Dérivé de image, avec le préfixe pré-.

Dérivés

Mots apparentés

Formes fléchies