>>960 補足
＞＞「尻尾の同値類全体に共通する尻尾がある」

あと、数列の尻尾の同値類なんだから
その同値類に属する数列が
s1,s2,s3,・・・
とあれば、みな同じシッポなんでしょ？
それって、ほとんど同値類の定義じゃね？ｗ（＾＾
無限長の数列だから、シッポは無限の先になるけどｗ