 Double dual module

The double dual module is $M^{\ast \ast }={\mathrm{Hom}}_R(M^{\ast },R)$. The evaluation homomorphism sends $m\in M$ to the functional $f\mapsto f(m)$.