Given a vector space over a field and a vector subspace,
the quotient space is just with all the elements of collapsed to zero, #m/def/linalg
More formally, using the congruence relation
we have with .
Hence this is a special case of a quotient module.