Diagonal Relation is Equivalence/Examples