Definition:Univalent Relation

From ProofWiki
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