File:CompositeWithInverseIdentity.png

Illustration for Condition for Composite Relation with Inverse to be Identity.