>>848
そのクラスが集合であることは示せますか?