クラスCの元xに対してそれぞれクラス[x]を定義するというのは
クラスの集まりを考えることになって
BG集合論的には許されないのかな
でも
クラスの集まりを考えているわけではないとも言えそうだし
すべてのx∈Cについて
C∩[x]=φとかC≠[x]とかなら
集合論的なパラドックスも起こらなそうだけど