eindeutig

in der Mathematik die Eigenschaft einer Zuordnung, nach der jedem Element einer Menge M₁ höchstens ein Element (Bild) einer anderen Menge M₂ zugeordnet wird; dabei kann aber ein Element aus M₂ das Bild von zwei oder mehreren Elementen aus M₁ sein. Eine eindeutige Zuordnung, bei der zusätzlich jedes Element aus M₂ das Bild von höchstens einem Element aus M₁ ist, heißt eineindeutig.