\begin{definition}[Definition:Algebraic Dual/Double Dual]
Let $R$ be a commutative ring.
Let $G$ be an $R$-module.
The '''double dual''' $G^{**}$ of $G$ is the dual of its dual $G^*$.
Category:Definitions/Algebraic Duals
\end{definition}