prewellordering

English

Etymology

From pre- +‎ wellordering.

Noun

prewellordering (plural prewellorderings)

  1. (mathematics, set theory) A binary relation that is transitive, total, and well-founded.