Ensemble de départ d'une relation
Ensemble des valeurs ou objets qui peuvent être utilisés comme origines des couples d'une relation.
À ne pas confondre avec le domaine d'une relation qui est l'ensemble des origines des couples d'une relation. Ainsi, si on considère une relation ℜ de E vers F, alors dom(ℜ) ⊆ E, c'est-à-dire que le domaine de la relation est un sous-ensemble large de l'ensemble de départ.
Exemples
- Dans cette illustration d'une relation entre l'ensemble E et l'ensemble F, l'ensemble E = {2, 3, 4, 5} est l'ensemble de départ de la relation. Le domaine de cette relation est {2, 4}.
- Soit la relation « y = 2x+ 1 » où x est un nombre naturel. L’ensemble de départ est l’ensemble des nombres naturels, soit : {0, 1, 2, 3, 4, …} L’ensemble d’arrivée est l’ensemble des nombres naturels impairs, soit : {1, 3, 5, 7, 9, …}