Sean X un espacio topológico y Y un subconjunto de X.