Welcome guest
You're not logged in.
283 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.$

| | | | | created: 2018-12-15 16:29:19 | modified: 2018-12-15 16:31:31 | by: bookofproofs | references: [573]

(none)