prewellordering noun1 •A binary relation that is transitive, total, and well-founded. formsprewellorderings