と定義する。この集合 C(x) のことを、x に関する同値類と呼ぶのだった。 次に、〜 に関する完全代表系を1つ取って T と置く。T の存在性は選択公理のもとで正常に保障される。 ただし、そのような T は1つではなく、無数にある。そこで、時枝記事では、 「完全代表系 T を1つ固定する」と明言している。大事なのは、
「 "T" そのものが回答者によって毎回ランダムに確率的に選ばれるのではない」
ということ。T そのものは、確率的な操作とは全く関係なく、選択公理によって排出された1つの T に決め打ちして 完全に固定してしまうということ。そして、これ以降は、その固定された T のみを使用するということ。
