Also known as univalent relation, right-unique relation, right-definite relation, right unique relation, right definite relation, partial mapping
function whose actual domain of definition may be smaller than its input set
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).