Eine Korrespondenz f von A in B heißt (eindeutige) Abbildung (oder Funktion oder Operator). (Quelle: Lau, D. (2011). Algebra und Diskrete Mathematik. Berlin Heidelberg, Springer Verlag, 3. Auflage, Seite 23.)