En
mathématiques, l
'ensemble de définition d'une
fonction dont l'
ensemble de départ est noté et l'
ensemble d'arrivée , est l'ensemble des éléments de qui possèdent une
image dans par , autrement dit l'ensemble des éléments de pour lesquels existe :
On dit de qu'elle est . L'ensemble de définition est encore appelé
domaine de définition (ou simplement
domaine) de ; quand est un simple
intervalle on peut l'appeler
intervalle de définition.