スレ主のしっぽの∞は、同値類の各元の一致する列(つまりしっぽ)の共通部分と解釈できなくもない。
いずれにせよ、そのあたりは重要ではなく、
重要なのは、
　・決定番号は、定数なのか加算加法性のない確率変数なのか。
　・時枝解法が有限の場合の極限にならないことの是非。
あたりではないかな。