正規空間Xを同値関係〜で割った商空間をX/〜、
π:X→X/〜を標準全射とするとき、
πが閉写像⇒X/〜は正規空間
ってなりたちます？