The relation “is congruent to" on the set of all triangles in a plane is
Is congruent to" on the set of all triangles is an equivalence relation