The **inverse** of a binary relation R, denoted as R^{−1}, is the set of all ordered pairs (y,x) such that (x,y) is an element of R.

## Examples

- In any algebraic structure such as the real numbers which is totally ordered by a
*less than or equal to*relation , the relation*greater than or equal to*() is commonly taken as the inverse of .