>>422
全角は単に自分が見やすいからですが、半角の方が適切ならそちらに合わせます。

つまり{{A, x}}の中に要素の要素としてxが入っているとしても
この階層のレベル(?)ではあくまで{A}の単集合とみなされ、
正則性公理でいう極小元xが入っている状態には当てはまらないということでしょうか？