 If "X" is a vector lattice and "N" is a solid vector subspace of "X" then formula_67 defines the canonical order of "X"/"M" under which "L"/"M" is a vector lattice and the canonical map formula_65 is a vector lattice homomorphism.Furthermore, if "X" is order complete and "M" is a band in "X" then "X"/"M" is isomorphic with "M"⟂.Also, if "M" is solid then the order topology of "X"/"M" is the quotient of the order topology on "X".