Hausdorff空間拓撲空間X若每對不同點都有不交open neighborhoods即為Hausdorff。atlas-hausdorff-space · canonical_mkoHausdorff空間前置節點拓撲空間鄰域量詞與明示論域