Un espacio Hausdorff es un espacio topológico tal que, para todo p, q en X