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