S＼{S}∈S を満たす集合Sは存在するか。

ヒント：正則性公理から T∈T を満たす集合Tは存在しないことがわかる。