Totale Relation

Einfache Sprache

Def. Totale Relation

Es sei $R \subseteq M \times N$ eine Relation. $R$ heißt total, falls für alle $x \in M$ ein $y \in N$ mit $x R y$ existiert