The following conditions are equivalent:
-
1.
The relation $R$ is a section in $\mathsf{Rel}$.
-
2.
We have $R=\operatorname {\mathrm{Gr}}(f)$ for some surjective function $f\colon A\to B$.
8.5.13 Sections
Let $R\colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}B$ be a relation.
Proof of Proposition 8.5.13.1.1.
Omitted.
