Go backward to Example Go up to Top Go forward to Composition of Relations |
Definition: inverse of a binary relation R
R-1 := {<b, a>: a in domain(R) /\ b in range(R) /\ <a, b> in R}.
Proposition:
The inverse of a relation from A to B is a
relation from B to A.
forall R, A, B: R subset A x B => R-1 subset B x A.
Example: