Subspace topology/Definition

An assignment of open sets to a subset of a topological space.