The initial topology on defined by a family of functions , where each has a topology, is the coarsest topology on such that each is continuous.
Two important special cases of the initial topology are the product topology, where the family of functions is the set of projections from the product to each factor, and the subspace topology, where the family consists of just one function, the inclusion map.