Hausdorff space
设 f : X → Y 是连续函数且 Y 是豪斯多夫空间。则 f 的图象formula_21是 formula_22中的闭子集。