>>183 補足

>A を A ∈ A となる集合とする. 次の図(と言って良いかどうか)のように B := {A} とおけば,この B が正則性に反する.
> http://www.cs-study.com/koga/set/pictures/RegularityProperty02.png

個人的には、この図が結構納得感があるよ(^^