同値類は代数のところでも出ているので是非そちらも参照したいところですね。
同値類にならない例はとても明快です。
同値類の2番目の性質 は類の代表となる元をそれぞれとって固定しているんですね。 少し戸惑いました。