ハウスドルフ空間
Thus Prim("L"("H")) is a non-Hausdorff space.