sup{x ∈ A}.