遺伝的正規とか完全正規

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