The internal Hom of $\mathsf{Rel}$ is the functor
\[ \mathrm{Rel}\colon \mathsf{Rel}^{\mathsf{op}}\times \mathsf{Rel}\to \mathsf{Rel} \]
defined
- On objects by sending $A,B\in \text{Obj}\webleft (\mathsf{Rel}\webright )$ to the set $\mathrm{Rel}\webleft (A,B\webright )$ of Item 1 of Definition 5.1.1.1.3.
- On morphisms by pre/post-composition defined as in Chapter 6: Constructions With Relations, Definition 6.3.12.1.1.