Order Axiom

Definition

• Totally Ordered Set
• $\forall x,\forall y,\forall z\in \mathbb{R},x<y\Rightarrow x+z<y+z$
• $\forall x,\forall y,\forall z\in \mathbb{R},(x<y)\wedge (z>0)\Rightarrow xz<yz$