=に関して同じ同値類に属する対象が別の対象である。
そういう理論を構築したいなら>>502の言う通りで良い。