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