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