Bonjour   
Une fonction x → f(x) est donnée
L'ensemble de définition de f contient toutes les valeurs de x qui ont une image par f
donc, x appartient à l'ensemble de définition si f(x) existe; réciproquement, f(x) existe si x appartient à l'ensemble de définition