prewellordering
Jump to navigation
Jump to search
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.