well-founded order
partial order such that the corresponding strict order is a well-founded relation
well-order
total order such that every nonempty subset of the domain has a least element
partial order such that the corresponding strict order is a well-founded relation