>>435
>「同値類中の数列は、全てある長さnの循環節を持つよね？」と
>「同値類のすべてに共通の「ある箱」は存在しない」は矛盾しないが

>>439
>どの元も共通の循環節を持つ
>しかし循環節の開始位置に上限が無いから共通のしっぽは存在しない

そういうこと
無限個の場合、要素となる列の決定番号はそれぞれ自然数だとしても
最大の決定番号をもつ要素が存在しない場合がある

だから「どの列も共通のある箇所から開始する尻尾」は存在しない

同値関係の推移律は、
有限個の要素間での共通の尻尾の存在を保証するが
無限個の場合には無理よ