Map

Seien \(A,B\) Mengen. \(f \subset A \times B\) heißt Abbildung, falls die Relation linkstotal und rechtseindeutig ist

Man schreibt auch:

\begin{align*} f: A \rightarrow& B \\ a \mapsto& b \end{align*}

wobei \(A \rightarrow B\) die Definitionsmenge und \(B\) die Zielmenge ist.

Für jedes Element \(a \in A\) wird genau ein Element \(b \in B\) zugeordnet. Man bemerke auch, dass \(A\) und \(B\) hier nicht disjunkt sein müssen.