Sean  un espacio topológico, Y un subconjunto de X, y T := {U ∩ Y : U ∈ T }.