well-ordering


well-ordering

n (Logic) logic maths an ordering in which every nonempty subset has a least member under the relation