Wdhlg: Eigenschaften von Relationen

• R ist total: $\forall$x $\in$ X : | R(x)|$\ge$1
• R ist surjektiv (überdeckend): $\forall$y $\in$ Y : | R^-(y)|$\ge$1
• R ist Funktion (ist nach-eindeutig): $\forall$x $\in$ X : | R(x)|$\le$1.
• R ist injektiv (vor-eindeutig): $\forall$y $\in$ Y : | R^-(y)|$\le$1.
• R ist bijektiv: R und R^- sind totale Funktionen