Definition:Univalent Relation
Jump to navigation
Jump to search
Definition
Let $\RR$ be a relation on a set $S$.
Then $\RR$ is univalent if and only if:
- $\RR \circ \RR^{-1} \subseteq \Delta_S$
That is, $\RR$ composed with its inverse $\RR^{-1}$ is a subset of the diagonal relation on $S$.
Sources
- 2010: Gunther Schmidt: Relational Mathematics: $\S 5$ Definition $5.1$