Un subconxuntu dun espaciu topolóxicu pue ser vistu como un espaciu topolóxicu al dotalo de la topoloxía traza, definida como la topoloxía que los sos abiertos son les interseiciones de los abiertos del espaciu orixinal col subespacio.