\begin{definition}[Definition:Multiple Pointed Set]
Let $I$ be a set.
An '''$I$-pointed set''' is an ordered pair $\left({A, f}\right)$ where:
:$A$ is a set
:$f : I \to A$ is a mapping
\end{definition}