ハウスドルフ空間
局所コンパクトハウスドルフ空間の商空間は (compactly generated) である。逆に、任意のコンパクト生成ハウスドルフ空間は、ある局所コンパクトハウスドルフ空間の商として得られる。