\begin{definition}[Definition:Image of Topological Space]
Let $T = \struct {S, \tau}$ and $Q = \struct {X, \tau'}$ be topological spaces.
Let $f: S \to X$ be a mapping.
The '''image (of the topological space $T$) of''' $f$ is defined as:
:$\Img f := Q_{f \sqbrk S} = \struct {f \sqbrk S, \tau'_{f \sqbrk S} }$
where $\tau'_{f \sqbrk S}$ denotes the subspace topology on $f \sqbrk S$.
\end{definition}