Prewellordering

In set theory, a prewellordering is a binary relation $\le$ that is transitive, total, and wellfounded (more precisely, the relation $x\le y\land y\nleq x$ is wellfounded). In other words, if $\leq$ is a prewellordering on a set $X$ , and if we define $\sim$ by

then $\sim$ is an equivalence relation on $X$ , and $\leq$ induces a wellordering on the quotient $X/\sim$ . The order-type of this induced wellordering is an ordinal, referred to as the length of the prewellordering.

单词	Prewellordering
释义	Prewellordering 英语百科 Prewellordering In set theory, a prewellordering is a binary relation $\le$ that is transitive, total, and wellfounded (more precisely, the relation $x\le y\land y\nleq x$ is wellfounded). In other words, if $\leq$ is a prewellordering on a set $X$ , and if we define $\sim$ by then $\sim$ is an equivalence relation on $X$ , and $\leq$ induces a wellordering on the quotient $X/\sim$ . The order-type of this induced wellordering is an ordinal, referred to as the length of the prewellordering.
随便看	No spine的意思 no spitting的意思 no spring chicken的意思 no spurious interrupt的意思 NoSQL的意思 NoSQL Database的意思 no squsal tire的意思 no squsal tyre的意思 NOSRT的意思 NOSS的意思 NOSSA的意思 nossacin的意思 Nossal的意思 nossals的意思 Nossan的意思 nossas的意思 Nossa Senhora的意思 Nossa Senhora da Glória的意思 Nossa Senhora das Dores的意思 Nossa Senhora do Livramento的意思 Nossebro的意思 Nossegem的意思 nossels的意思 Nossen的意思 NOSS的意思