\begin{definition}[Definition:Pointed Topological Space]
A '''pointed topological space''' is an ordered pair $\left({T, x_0}\right)$ where:
:$T$ is a topological space
:$x_0$ is a point of $T$.
\end{definition}