>｛｝は正則

｛｝は如何なる要素も持たない　｛｝∈｛｝にはなりようがないｗｗｗｗｗｗｗ

>Xが正則ならX∪｛X}も正則

Y＝X∪｛X}として、Y∈Yとする

もしY＝Xなら、X∈XだからXが正則だという仮定に反する
YがXと異なる要素だとしても、その場合Xの要素の一つであるから
Xが正則であるという仮定に反する

いずれにしてもXが正則ならX∪｛X}も正則にならざるを得ない

R.I.P　安らかに眠れ　クソスレ主ｗ