Condition for Composite Relation with Inverse to be Identity/Examples