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