商向量空間V依子空間W的cosets形成商向量空間，運算須與代表元選擇無關。atlas-quotient-vector-space · canonical_mko商向量空間前置節點實向量子空間商集實向量空間等價類有限維向量空間的維度