A submodule $N$ of a module over a ring $M$ is a subset $N\subset M$ that forms a module over a ring under the same operations. It must form a group under $+$.
Wikidata ID: Q2498094