\begin{definition}[Definition:Pointed Algebra over Ring]
Let $R$ be a commutative ring.
A '''pointed algebra over $R$''' is an ordered pair $(A, a)$ where:
:$A$ is an algebra over $R$
:$a$ is an element of $A$
\end{definition}