Just as axioms exist for equality, similar axioms exist for inequality. The only axiom of equality that has no counterpart for inequality is the reflexive axiom. The other seven are as follows.
PARGRAPH The transitive axiom of inequality is states that if one quantity is greater than the second and the second quantity is greater than the third, then the first quantity is greater than the third.
The substitution axiom works the same way for inequalities as it does for equalities. If two quantities are equal, they can replace each other in any inequality. So if two triangles are congruent, and a segment is greater than a side in one triangle, that segment is greater than the corresponding side of the other triangle as well.
The partition axiom for inequalities is as follows: A whole quantity is greater than any one of its parts. We have seen this at work with the exterior angle of a triangle and the remote interior angles. The exterior angle is equal to the sum of the remote interior angles, and greater than either remote interior angle.
The addition, subtraction, multiplication, and division axioms for equality work the same for inequalities. The difference is that the inequality axioms state that if unequal quantities are added, subtracted, etc. from equal quantities, then their sums, differences, etc., will be unequal.