Let T be the set of all triangle in the Euclidean plane, and let a relation R on T be defined as aRb if a is congruent to b ∀ a,b ϵ T. Then R is