Category:Examples of Use of Diagonal Relation is Equivalence