Condition for Composite Relation with Inverse to be Identity/Examples/Arbitrary Example 1

Example of Use of Condition for Composite Relation with Inverse to be Identity

 * CompositeWithInverseIdentity.png

In the above we see that:


 * $\RR$ is many-to-one
 * $\RR$ is right-total
 * $\RR \circ \RR^{-1} = I_T$.

Note, however, that $\RR^{-1}$ is neither many-to-one nor right-total, and does not need to be for $\RR \circ \RR^{-1} = I_T$.