saetze

Eine Abbildung oder Funktion f ist eine rechtseindeutige Relationen der Form f \subseteq X \times Y, das heisst für jedes x \in X gibt es höchstens ein y \in Y mit (x,y) \in f. Man schreibt f(x) = y oder f : x \mapsto y, d.h. x wird durch die Funktion f auf y abgebildet. Statt f \subseteq X \times Y verwendet man die Schreibweise f : X \to Y.