Sea X un espacio topológico y Y un subespacio de X.