Eine Abbildung ist eine spezielle Art von Relation, die jedem Element einer Menge genau ein Element einer Menge zuordnet.
Eine Abbildung von nach wird als Funktion bezeichnet, wenn gilt:
und für jedes gibt es genau ein , sodass .Sei und . Eine mögliche Abbildung könnte sein:
was bedeutet, dass 1 auf 3 und 2 auf 4 abgebildet wird.