submodule

{{algebra}} A module contained in a larger module, both over the same ring, such that the ring multiplication in the former is a restriction of that in the latter.