Welcome guest
You're not logged in.
364 users online, thereof 0 logged in

## Definition: Inverse Relation

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.$

| | | | | Contributors: bookofproofs | References: [573]

(none)