A module over a ring that is contained in and has the same addition as another module over the same ring.

large submodule | module | proper submodule | small submodule