>>914
「実数列の集合 R^Nを考える.
s =(s 1,s 2,s 3,・・・),
s'=(s'1,s'2,s'3,・・・)
s,s'∈R^Nは,ある番号から先のしっぽが一致するとき
(∃n0:n >= n0 → sn= s'n )
同値s 〜 s'と定義しよう」

上記の(尻尾)同値の定義では決定番号は出てこない

(つづく)