>>785-788
>代表元とは同値類の要素から選ばれる任意の要素

同値類のどの要素も代表になり得るが
sとs'が同値なら、r(s)とr(s')は等しい
そうでなければ代表ではないよ

https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E