>>602
そもそも、>>594に書いたように、
n ≧n__0 のとき s_n=s'_n なることについての同値関係〜の同値類Aと
n ≧n__1 のとき s_n=s'_n なることについての同値関係〜の同値類B
について、必ずしも A=B となるとは限らない。一般には A≠B となる。
同値関係〜の同値類を扱うにあたり、この点がスッキリとしないのだが。