 The two axioms imply that translations and positive homotheties are automorphisms of the order structure and the mapping is an isomorphism to the dual order structure.Ordered vector spaces are ordered groups under their addition operation.Note that "x" ≤ "y" if and only if -"y" ≤ -"x".