That can be enclosed within a ball of finite radius.
That contains a least element, a, and a greatest element, b, such that for all x ∈ X, a ≤ x ≤ b.