Relation/Abbildung/Charakterisierung/Fakt

Eine Relation ${}R\subseteq M\times N$

ist genau dann eine (der Graph einer) Abbildung, wenn sie linksvollständig und rechtseindeutig ist.

Zum Beweis, Alternativen Beweis erstellen