1.NounGiven a set
X
{\displaystyle X}
, a family of topological spaces
(
M
i
,
T
i
)
i
∈
I
{\displaystyle (M_{i},T_{i})_{i\in I}}
and a family of functions
f
i
:
M
i
→
X
{\displaystyle f_{i}:M_{i}\to X}
, the final topology is the finest topology on
X
{\displaystyle X}
such that all
f
i
{\displaystyle f_{i}}
are continuous.