>>745
その通り。なぜならN上の通常の大小関係は整列順序だから。
整列順序を構成できる集合が存在したからといって、当然のことだが任意の可算非空族の選択関数が存在することにはならない。