Let be a topological space, and let
be a subset. The subspace topology on is the topology whose open sets are those subsets of which equal for some open set
.
In this context, the topological space obtained by taking the subspace topology is called a topological subspace, or simply subspace, of .