>>224
有限集合であればいいんですが、無限集合の場合にAの同値でない全ての元に対して類を作れるのかどうかは自明ではないと思うのです。