Also known as univalent relation, right-unique relation, right-definite relation, right unique relation, right definite relation, partial mapping
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)
En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé domaine de définition de la fonction partielle. Cette notion apparait en particulier en théorie de la calculabilité, qui s'intéresse aux fonctions partielles récursives : celles-ci sont définies sur une partie de N, l'ensemble des entiers naturels, ou plus généralement de Np, et l'ensemble de définition d'une fonction partielle récursive ne peut éventuellement pas se définir a priori, c'est-à-dire autrement qu'en indiquant que ce sont les entiers (ou tuples d'entiers) pour lesquels le calcul qui permet de définir la fonction aboutit.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).