>>259-262
じゃ、話もどそう

尻尾同値の精密化で
「n番目以降の尻尾(n-尻尾)が同じ」
というn-尻尾同値にすると
初心者にもわかりやすい

n-尻尾同値類の全ての元は
共通のn-尻尾を持つから
代表元も
「n-1番目まで0であとはn-尻尾」
をとればいい

いわゆる尻尾同値類は
任意の自然数nについての
n-尻尾尻尾同値類の集合和

これが初心者に分かりにくいのは
尻尾同値類の任意有限個の元については
なんかある自然数mが存在して
それらに共通のm-尻尾が存在するが
全体（当然無限個）については
もはやそんなものが存在しないから

代表元だって
任意有限番目の項を0にしたら・・・
全部0になってまう！
これでは一般に元の列と尻尾同値でない

仕方ないので、尻尾同値類から
なんか勝手に元をとる選択関数の存在を
選択公理で保障するしかない