遺伝的正規とか完全正規

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

 遺伝的正規と完全正規とかの基本的な性質と幾つかの例です。

直積の遺伝的正規性に関するKatetovの結果は面白いです。