>>416
> 別に●を単元集合としてなにも問題はない
正則性公理を採用しなければそれで構わない