不是偏序因为1和i有相同的绝对大小但却不相等，违反了反对称性。
线性扩展.全序"T"是偏序"P"的线性扩展，只要"x" ≤ "y"在"P"中成立则"x" ≤ "y"在"T"中也成立。在计算机科学中，找到偏序的线性扩展的算法叫做拓扑排序。