en-entydig

i logik: benämning på förhållanden där ett objekt står i en viss relation till ett och bara ett annat objekt, och det andra objektet i sin tur står i motsvarande relation till det första objektet, och bara till det objektet. – Exempel: att Oslo är huvudstad i Norge är en en‑entydig relation: Oslo är inte huvudstad i något annat land, och Norge har bara en huvudstad. Det behöver alltså inte vara samma relation i båda riktningarna – Norge är inte huvudstad i Oslo. – Bara entydig betyder däremot att relationen är en‑mångtydig (injektiv). En ekvation kan ha en entydig lösning – det betyder att ekvationen har en och bara en korrekt lösning, men den lösningen passar till många andra ekvationer (i princip ett oändligt antal ekvationer för varje tänkbar lösning).  Varje personnummer går till ett och bara ett namn, men för många namn finns det flera personnummer. –  I programmering även: ett‑till‑ett. I matematik även: bijektiv avbildning. – På engelska: one‑to‑one correspondence, bijective function, invertible function. Skrivs ibland också 121.

[matematik och logik] [13 juli 2020]