Total order property
For all a, b ∈ : a ≤ b or b ≤ a (at least one is true).
Resource 1 of 2
Lesson overview
This lesson brings together the PDF, study notes and chapter flow so you can revise Order in IR without losing the thread.
Total order property
For all a, b ∈ : a ≤ b or b ≤ a (at least one is true).
Transitivity
a ≤ b and b ≤ c ⟹ a ≤ c
Addition
a ≤ b ⟹ a + c ≤ b + c for all c ∈ .
Multiplication
a ≤ b and c > 0 ⟹ ac ≤ bc. If c < 0, the inequality flips: ac ≥ bc.
Upper bound
M is an upper bound of A if ∀x ∈ A, x ≤ M.
Supremum (sup)
The smallest upper bound. If A is bounded above, sup(A) exists in .
Lower bound / Infimum
m is a lower bound if ∀x ∈ A, x ≥ m. inf(A) is the greatest lower bound.
Solving ax + b ≤ 0
If a > 0: x ≤ −b/a. If a < 0: x ≥ −b/a. Watch for direction change.
Square inequality
x² ≥ 0 for all x ∈ . x² = 0 iff x = 0.
AM-GM inequality
For a, b ≥ 0: (a+b)/2 ≥ √(ab). Arithmetic mean ≥ geometric mean.
Theorem 1 - Order in
Application of theorem 1.
Theorem 2 - Order in
Application of theorem 2.
Theorem 3 - Order in
Application of theorem 3.
Theorem 4 - Order in
Application of theorem 4.
Theorem 5 - Order in
Application of theorem 5.
Key Rule 1
Summary of point 1 of Order in .
Key Rule 2
Summary of point 2 of Order in .
Key Rule 3
Summary of point 3 of Order in .
Key Rule 4
Summary of point 4 of Order in .
Key Rule 5
Summary of point 5 of Order in .
Key Rule 6
Summary of point 6 of Order in .
Key Rule 7
Summary of point 7 of Order in .
Problem-solving method
Identify data, set formulas, solve step by step, then verify sign, unit, and coherence.
Common mistakes
Forgetting domain constraints, mixing equality/equivalence, and losing solutions during transformations.