Proposition 7.7. $A\stackrel{R}{\looparrowright }B$ is a left adjoint in $Rel(C)$ if and only if it is of the form $f_{\bullet }$.