Spurtopologie, Teilraumtopologie, Standardtopologie auf einer Teilmenge Y eines topologischen Raumes (X, \({\mathcal{O}}\)).

Ein V ⊂ Y heißt dabei offen (in der Relativtopologie), wenn es eine offene Menge U ∈ \({\mathcal{O}}\) gibt mit O = U ∩ Y.