Quotient vector space