In de topologie kan men van elke deelverzameling van een topologische ruimte opnieuw een topologische ruimte maken door er een zogenaamde deelruimtetopologie, spoortopologie of geïnduceerde topologie op te definiëren.
De zo verkregen topologische ruimte heet een deelruimte van de oorspronkelijke ruimte.