Category:Diagonal Relation is Equivalence