# Category:Inverse Relations

Let $\RR \subseteq S \times T$ be a relation.
The inverse relation to (or of) $\RR$ is defined as:
$\RR^{-1} := \set {\tuple {t, s}: \tuple {s, t} \in \RR}$