BuK/IIm19/Ausarbeitungen Lüpke/Brainstorming VL06 Luepke

Wiki-Quelltext dieser Seite.

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.