un espacio topológico.
será un subespacio de
, llamada topología del subespacio, topología inducida, topología relativa o topología traza.
definido arriba, definimos la topología del subespacio,
como Es decir, un subconjunto de S es abierto si es intersección de S con algún abierto de X.