In diesem Abschnitt werden die für die Mathematik fundamentalen Konzepte Abbildung und Funktion eingeführt, die spezielle Zuordnungen von Elementen einer Menge \({\mathbb{D}}\) (dem Definitionsbereich) zu Elementen einer Menge \({\mathbb{W}}\) (dem Wertebereich) darstellen. Eine Zuordnung (Relation) ist eine Vorschrift, die einen Bezug zwischen den Elementen der Mengen \({\mathbb{D}}\) und \({\mathbb{W}}\) herstellt. Sie kann als Teilmenge \({\mathbb{V}}\) des kartesischen Produkts von \({\mathbb{D}}\) und \({\mathbb{W}}\) aufgefasst werden