>>489
答え
比較可能だけど意味がない
1.同じ同値類の場合
代表元rとある番号以降一致するから時枝の論理は成立。
しかしsの箱を全部開かないとそれの同値類は分からないので反則
2.別の同値類の場合
d(s)とd(s')が分かってもsとs'がある番号から先が一致することはない。
時枝の論理は破綻