domaine d'une fonction
ensemble des éléments de l'ensemble de départ d'une fonction qui possèdent une image (restreindre une fonction sur n'importe quelle partie de son domaine en fait une fonction totale à gauche)