 Quotient vector space

For a vector subspace $W\le V$, the quotient vector space $V/W$ consists of cosets $v+W$, with vector operations induced from $V$.