eindeutig (Mathematik)

Eine Zuordnung oder Relation zwischen einer Menge M₁ und einer Menge M₂ heißt eindeutig, wenn jedem Element a aus M₁ genau ein Element b aus M₂ (rechtseindeutig) oder jedem Element b aus M₂ genau ein Element a aus M₁ (linkseindeutig) zugeordnet wird. Eine sowohl rechts- als auch linkseindeutige