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})$.
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})$.
