豪斯多夫空间
Thus Prim("L"("H")) is a non-Hausdorff space.