n. a module over a ring that is contained in another module over the same ring, and has the same addition.