Eindeutigkeit ist eine Eigenschaft von mathematischen Abbildungen. Eine Abbildung F ist eindeutig, wenn jedes Element des Vorbereichs von F genau ein Bild hat. Eineindeutige (umkehrbar eindeutig) ist die Abbildung, wenn zusätzlich gilt, dass auch jedes Element des Nachbereiches nur genau ein Urbild hat. Eindeutige Abbildungen werden auch Funktion genannt.