the identity relation, then a relation may have an inverse as follows: is called;
:if there exists a relation called a ' of that satisfies ;
:if there exists a relation called a ' of that satisfies ;
:if it is both right-invertible and left-invertible.

For an invertible homogeneous relation all right and left inverses coincide; this unique set is called its ' and it is denoted by In this case, holds.

Converse relation of a function

A function

1.Previous
3.Next