43. Definition. A linearly ordered set or chain is a poset (X, ≤), such that ∀a, b ∈ X, either a ≤ b or b ≤ a or a = b.