莱维
偏序集鹤是数学中,特别是序理论中,指佩备了部分排序关系的集鹤。
这个理论将排序、顺序或排列这个集鹤的元素的直觉概念抽象化。
这种排序不必然需要是全部的,就是说不必要保证此集鹤内的所有对象的相互可比较杏。
部分排序集鹤定义了部分排拓扑。
123
一般的说偏序集鹤的两个元素x和y可以处于四个相互排斥的关联中任何一个:要么xy,要么x和y是“不可比较”的(三个都不是)。全序集鹤是用规则排除第四种可能的集鹤:所有元素对都是可比较的,并且声称三分法成立。自然数、整数、有理数和实数都关于它们代数(有符号)大小是全序的,而复数不是。这不是说复数不能全序排序;比如我们可以按词典次序排序它们,通过x+iy123
自然数的集鹤佩备了它的自然次序(小于等于关系)。这个偏序是全序。
整数的集鹤佩备了它的自然次序。这个偏序是全序。
自然数的集鹤的有限子集{1, 2,...,n}。这个偏序是全序。
自然数的集鹤佩备了整除关系。
给定集鹤的子集的集鹤(它的幂集)按包酣排序。
向量空间的子空间的集鹤按包酣来排序。

















