Two Equivalence Classes [a] and [b] Are Equal If and Only If a is Relate...