>>163
ああ、その同値関係で定義される全ての類の集合族をBとする
が抜けてるな

むしろ∀x∈AについてAの部分集合{x}は同値関係を満たし
同値類になるからxはどこかの類に含まれるとしたほうがいいかもな