\begin{definition}[Definition:Multiple Pointed Algebra]
Let $R$ be a commutative ring with unity.
Let $I$ be a set.
An '''$I$-pointed algebra over $R$''' is an ordered pair $(A, f)$ where:
:$A$ is an algebra over $R$
:$f : I \to A$ is a mapping
\end{definition}