MathGloss

Define an equivalence relation \sim on a vector space VV with subspace WW by v1v2 if v1v2W.v_1 \sim v_2 \text{ if } v_1-v_2 \in W. Then the quotient of VV by WW is the set of equivalence classes of \sim in VV.

Wikidata ID: Q1393796