C'est un ensemble constitué de toutes les valeurs pour lesquelles la valeur de la fonction est définie. On l'appelle aussi l'ensemble des antécédents.