Initial Topology

Definition

The initial topology on $X$ induced by a family of functions $f:X\to Y_f$ into topological spaces $Y_f$ is the weakest topologyon $X$ making all these functions continuous.

Here: $F=\{f^{-1}|f:X\to Y_f,A\text{open in}{Y}_f\}$.