préimage

MathématiquesPour une application f définie d’un ensemble X à un ensemble Y ( f:X \mapsto Y ) et un sous-ensemble B de l’ensemble de destination Y ( B \subseteq Y ), la préimage de B , f^{-1}(B) , est l’ensemble des éléments de X envoyés dans B par f :f^{-1}(B) = \{x \in X \mid f(x)\in B\}.

En particulier(Mathématiques) Pour un seul élément y de l’ensemble de destination, la préimage de y \in Y est définie par : f^{-1}(y) = \{x \in X \mid f(x) = y\}, c’est-à-dire l’ensemble des antécédents de y .