well-ordered | |
—adj | |
logic, maths (of a relation) having the property that every nonempty subset of its field has a least member under the relation: less than is well-ordered on the natural numbers but not on the reals, since an open set has no least member |