En mathématiques, étant donnés deux ensembles non vides E, F et une application , on appelle antécédent (par f) d'un élément y de F tout élément x de E tel que . Un antécédent est donc, par définition ...