Every binary relations $R\subseteq S\times T$ has an inverse relation $R^{-1}\subseteq T\times S$ which is defined by the equivalence $$tR^{-1}s\Leftrightarrow sRt$$ for all $s\in S$ and $t\in T.$
Thank you to the contributors under CC BY-SA 4.0!
