Inequality Axioms

Definition

Inequality Axioms are the fundamental rules governing the relationships between unequal quantities. They provide the logical basis for manipulating expressions involving greater-than ($>$), less-than ($<$), and their inclusive counterparts ($\geq, \leq$).

Why It Matters

Logic often breaks when we move from equalities (A=B) to inequalities (A<B), particularly when negative numbers are involved. These axioms are the “guardrails” that prevent us from making catastrophic algebraic errors in complex proofs. They are the essential tools for defining the “boundaries of possibility” in everything from engineering safety margins to economic constraints.

Core Concepts

• Trichotomy Property: For any real numbers $a$ and $b$, exactly one of the following is true: $a > b$, $a < b$, or $a = b$.

  • How to read: “Exactly one of the following is true: a is greater than b, a is less than b, or a is equal to b.”
  • Meaning: Any two reals are comparable — no gaps or ambiguity in their order.

• Transitive Property: If $a > b$ and $b > c$, then $a > c$.

  • How to read: “If a is greater than b and b is greater than c, then a is greater than c.”
  • Meaning: Order chains through — lets you compare distant terms via intermediates.

• Addition/Subtraction Property: If $a > b$, then $a + c > b + c$ and $a - c > b - c$ for any real number $c$.

  • How to read: “If a is greater than b, then a plus c is greater than b plus c, and a minus c is greater than b minus c.”
  • Meaning: Translating both sides equally does not change their relative order.

• Multiplication/Division Property (Positive): If $a > b$ and $c > 0$, then $ac > bc$.

  • How to read: “If a is greater than b and c is greater than zero, then a times c is greater than b times c.”
  • Meaning: Scaling by a positive number keeps the same ordering direction.

• Multiplication/Division Property (Negative): If $a > b$ and $c < 0$, then $ac < bc$. Multiplying or dividing by a negative number reverses the inequality.

  • How to read: “If a is greater than b and c is less than zero, then a times c is less than b times c.”
  • Meaning: Multiplying or dividing by a negative number reverses the inequality — larger becomes smaller.

• Whole and Part: If $a = b + c$ and $c > 0$, then $a > b$.

  • How to read: “If a is equal to b plus a positive value c, then a is greater than b.”
  • Meaning: A whole exceeds any positive part — the remainder must be smaller.

Connected Concepts

• Triangle Inequality
• Linear Inequalities and Interval Notation
• Real Numbers and interval notation
• Absolute Value Equations and Absolute Value Inequalities
• Optimization