 If formula_17 is a proper cone in "X"/"M" then formula_17 makes "X"/"M" into an ordered vector space.If "M" is "C"-saturated then formula_17 defines the canonical order of "X"/"M".Note that formula_21 provides an example of an ordered vector space where formula_22 is not a proper cone.