This theorem shows that the cosets of a subspace inherit addition and scalar multiplication from the ambient [vector space](/page/Vector%20Space). It is the basic result that makes the [quotient space](/page/Quotient%20Space) a genuine vector space rather than just a set of equivalence classes.