Linkstotale Relation

Sei \(R \subseteq X \times Y\) eine Relation auf den Mengen \(X,Y\). \(R\) ist genau dann linkstotal, wenn gilt:

\begin{align*} \forall x \in X \exists y \in Y : ((x,y) \in R) \end{align*}