>>469
いいえ、分かっていないのはあなたですよ。
＞”同値s 〜 s'の定義”
＞”35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12 時枝問題（数学セミナー201611月号の記事）”（>>11）
＞「実数列の集合 R^Nを考える.
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).」
のどこに
＞可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not＝ Φ
などと書かれてるのですか？

「二つの数列のco-tail'_d」と「可算無限族{s'_π_d | d ∈N}の全てのdに渡る co-tail'_d」
はまったく別物ですから、
＞定義の通りだから、co-tail'_d not＝ Φ
などと肝心な部分を省略して煙に巻こうとしてはいけません。