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