The underlying pointed set of a semimodule $\webleft (M,\alpha _{M}\webright )$ is the pointed set $\webleft (M,0_{M}\webright )$.
14.2.2 Pointed Sets
The underlying pointed set of a module $\webleft (M,\alpha _{M}\webright )$ is the pointed set $\webleft (M,0_{M}\webright )$.
