出典:Wiktionary
出典:『Wiktionary』 (2013/12/14 22:14 UTC 版)
pre- + wellordering
prewellordering (複数形 prewellorderings)
出典:Wikipedia
出典:『Wikipedia』 (2010/12/01 02:29 UTC 版)
In set theory, a prewellordering is a binary relation that is transitive, wellfounded, and total. In other words, if
is a prewellordering on a set X, and if we define ˜ by