previous up next
Go backward to Example
Go up to Top
Go forward to Composition of Relations
RISC-Linz logo

Inverse of a Relation

Definition: inverse of a binary relation R

R-1 := {<b, a>: a in domain(R) /\  b in range(R) /\  <a, b> in R}.

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.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next