>>96
>任意のq3∈Qについて、
>(0,0,q3)が尻尾同値類の代表と
>具体的に指定できる
>故に可算不要だけど、知らなかった？🤣

なるほど・・・
それは理屈だ！

ところで
q3をQから順に
q'3,q''3,q'''3,q''''3,・・と 過不足なく Qの全てを尽くすこと
すなわち
Qの全ての要素を整列させること
それには、選択公理と等価な整列可能定理が必要に見えるなｗ（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理と等価な命題
整列可能定理
任意の集合は整列可能である。

https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem