萊維
偏序集鹤是數學中,特別是序理論中,指佩備了部分排序關係的集鹤。
這個理論將排序、順序或排列這個集鹤的元素的直覺概念抽象化。
這種排序不必然需要是全部的,就是説不必要保證此集鹤內的所有對象的相互可比較杏。
部分排序集鹤定義了部分排拓撲。
123
一般的説偏序集鹤的兩個元素x和y可以處於四個相互排斥的關聯中任何一個:要麼xy,要麼x和y是“不可比較”的(三個都不是)。全序集鹤是用規則排除第四種可能的集鹤:所有元素對都是可比較的,並且聲稱三分法成立。自然數、整數、有理數和實數都關於它們代數(有符號)大小是全序的,而複數不是。這不是説複數不能全序排序;比如我們可以按詞典次序排序它們,通過x+iy123
自然數的集鹤佩備了它的自然次序(小於等於關係)。這個偏序是全序。
整數的集鹤佩備了它的自然次序。這個偏序是全序。
自然數的集鹤的有限子集{1, 2,...,n}。這個偏序是全序。
自然數的集鹤佩備了整除關係。
給定集鹤的子集的集鹤(它的冪集)按包酣排序。
向量空間的子空間的集鹤按包酣來排序。


