Let M be a left R-module and let N≤M be a submodule. Define an equivalence relation on M by m∼m′ iff m−m′∈N. The quotient module M/N is the quotient set of equivalence classes, written m+N, with operations
(m+N)+(m′+N)=(m+m′)+N,r(m+N)=(rm)+N.
These operations are well-defined precisely because N is closed under subtraction and scalar multiplication.
The construction is characterized by the universal property of the quotient module: maps out of M that kill N factor uniquely through M/N.