\begin{definition}[Definition:Pointed Mapping]
Let $\struct {A, a}$ and $\struct {B, b}$ be pointed sets.
A '''pointed mapping''' $f: \struct {A, a} \to \struct {B, b}$ is a mapping $f : A \to B$ such that $\map f a = b$.
\end{definition}