Final Topology

the final topology on is the finest topology such that each

is continuous.

Explicitly, the final topology may be described as follows: a subset U of X is open if and only if is open in Y_i for each i ∈ I.