Relationen und Abbildungen
In den vorigen zwei Kapiteln wurden die Logik und die Mengenalgebra eingeführt und behandelt. Insbesondere die Mengenalgebra erlaubt es uns mit Mengen zu rechnen.
Wie bereits erwähnt ist der Mengenbegriff einer der grundlegendsten in der Mathematik. Im Abschnitt Verband im vorigen Kapitel haben wir eine erste Struktur eingeführt. Ein wesentlicher Teil dieser Struktur ist eine Menge. Außerdem war von Operationen die Rede. Operationen sind bestimmte Mengen, nämlich eine spezielle Art Abbildung. Abbildungen wiederum sind eine spezielle Art Relationen.
Diese Begriffe sollen in diesem Kapitel eingeführt und definiert werden. Relationen und insbesondere Abbildungen spielen in der Mathematik nämlich die Hauptrolle.