２と３を同じ日に公開してしまいます。

まさか続くとは思ってませんでした。

暇だったんでやってみました。

なんか変な名前の補題です。ヤバイ補題という名前だとでも言うのか

正規性の言い換えです。

正規より強い分離公理の話です。