Noun
prewellordering (plural prewellorderings) (mathematics, set theory) A binary relation that is transitive, total, and well-founded.