prewellordering

Noun

 * 1)  A binary relation that is transitive, total, and well-founded.