Fonction Partielle

concept

relation binaire unique à droite, qui est définie sur une partie de son ensemble de départ (domaine, à gauche de la relation) avec une seule valeur dans son ensemble d'arrivée (codomaine, à droite de la relation)

Propriétés

p279_labels
objet mathématique, relation binaire

Catégories