The right $J$-skew right unitor of $\mathbf{Rel}\webleft (A,B\webright )$ is the natural transformation
\[ \rho ^{\mathbf{Rel}\webleft (A,B\webright ),\rhd _{J}} \colon {\rhd _{J}}\circ {\webleft (\mathsf{id}\times \mathbb {1}^{\mathbf{Rel}\webleft (A,B\webright )}_{\rhd }\webright )} \Longrightarrow \mathbf{\rho }^{\mathsf{Cats}_{\mathsf{2}}}_{\mathbf{Rel}\webleft (A,B\webright )}, \]
as in the diagram
\[ \rho ^{\mathbf{Rel}\webleft (A,B\webright ),\rhd _{J}}_{S}\colon \underbrace{S\rhd _{J}J}_{\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\operatorname {\mathrm{Ran}}_{J}\webleft (S\webright )\mathbin {\diamond }J}\hookrightarrow S \]
at $S$ is given by
\[ \rho ^{\mathbf{Rel}\webleft (A,B\webright ),\rhd _{J}}_{S}\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\epsilon _{R}, \]
where $\epsilon \colon J^{*}\circ \operatorname {\mathrm{Ran}}_{J}\Longrightarrow \operatorname {\mathrm{id}}_{\mathbf{Rel}\webleft (A,B\webright )}$ is the counit of the adjunction $J^{*}\dashv \operatorname {\mathrm{Ran}}_{J}$.
