Initial Topology

- Mathematics & Logic -
Pure Mathematics Dictionary
The coarsest topology on a set X that makes a given family of maps {f_i : X → Y_i} continuous; it is generated by taking all inverse images f_i^{-1}(U) of open sets U ⊆ Y_i as a subbasis.