Brainstorming VL06 Luepke

Abbildung oder Funktion f ist immer eine rechtseindeutige Relation f \subseteq X \times Y, welche auch f(x) = y geschrieben werden kann. Für jedes x \in X existiert maximal ein y\in Y (umgekehrt gilt das nicht!). Derartige abbildungen sind also auf jeden Fall immer surjektiv.