**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)

[573] **Schmidt Gunther, StrÃ¶hlein Thomas**: “Relationen und Graphen”, Springer-Verlag, 1989

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.