prewellordering
English
Etymology
From pre- + wellordering.
Noun
prewellordering (plural prewellorderings)
- (mathematics, set theory) A binary relation that is transitive, total, and well-founded.
From pre- + wellordering.
prewellordering (plural prewellorderings)