>>505
>運が悪ければsを選んでしまいます
もちろん、そういうことはありますが
いかなる無限列sに対しても
必ずsを代表に選ぶようにはできません
なぜなら、sの尻尾同値類にはs以外の列もありますが
同値類の代表とは、各同値類に対して1つに限定されますから

おわかりですか?