链

设 为一个有限偏序集。 中的链是成对可比元素的集合（即，一个全序子集）。 的偏序长度是 中链的最大基数。对于偏序，最长链的大小称为偏序长度。