Definition:Inverse Relation

From ProofWiki
Jump to: navigation, search

Definition

Let $\mathcal R \subseteq S \times T$ be a relation.


The inverse relation to (or of) $\mathcal R$ is defined as:

$\mathcal R^{-1} := \left\{{\left({t, s}\right): \left({s, t}\right) \in \mathcal R}\right\}$


That is, $\mathcal R^{-1} \subseteq T \times S$ is the relation which satisfies:

$\forall s \in S: \forall t \in T: \left({t, s}\right) \in \mathcal R^{-1} \iff \left({s, t}\right) \in \mathcal R$


Also known as

An inverse relation is also seen as converse relation.


Some sources use the notation $\mathcal R^\gets$ instead of $\mathcal R^{-1}$.

Others use $\mathcal R^t$, for example 1975: T.S. Blyth: Set Theory and Abstract Algebra.

Others use $\breve {\mathcal R}$, for example 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) and 1940: Garrett Birkhoff: Lattice Theory.


Also see

  • Results about inverse relations can be found here.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Inverse_Relation&oldid=343322"