well-founded order

partial order such that the corresponding strict order is a well-founded relation

Categories: