Also known as univalent relation, right-unique relation, right-definite relation, right unique relation, right definite relation, partial mapping
binäre, rechtseindeutige Relation
Eine partielle Funktion von der Menge nach der Menge ist eine binäre, rechtseindeutige Relation, das heißt eine Relation, in der jedem Element der Menge höchstens ein Element der Menge zugeordnet wird. Der Begriff der partiellen Funktion ist in der Theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie verbreitet.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).
via Wikidata sitelinks · CC0