"If is a topological space, and Y is a subset of X, then we can define the relative topology to be the collection of all open sets in X, restricted to Y, this makes a topological space, known as a subspace of ." . . . .