Therefore, X is regular, completely regular, normal and completely normal.
それでも密着空間 X は正則であり、完全正則であり、正規であり、完全正規である。