>>113
>代表元を選んだあと、代表元を使って、いろいろ演算などを行うけれども
>代表元とある元(同じ同値類に属する)とを、比較することはしない

数学を知らない素人の妄想でしょう