Relation/Abbildung/Charakterisierung/Fakt

< Relation < Abbildung < Charakterisierung

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.