Eine Abbildung ist eine eindeutige Zuordnung, die jedem Element einer Definitionsmenge genau ein Element einer Zielmenge zuordnet. Sie wird oft als $f:A\to B$ geschrieben, wobei $A$ die Ausgangsmenge und $B$ die Zielmenge ist. Man unterscheidet zwischen injektiven (keine Doppelbelegung im Ziel), surjektiven (alles im Ziel wird getroffen) und bijektiven Abbildungen (beides gilt). Nur bijektive Abbildungen besitzen eine Umkehrabbildung. Abbildungen sind das Rückgrat der modernen Mathematik – sie verbinden Strukturen, verknüpfen Konzepte und ermöglichen formale Beziehungen zwischen Mengen.