Hausdorff space
なお前述のように、formula_18 がハウスドルフになる必要十分条件は formula_11 が局所コンパクトなハウスドルフ空間である事である。