偏序理想

偏序 的一個理想 是 元素的子集，它滿足以下性質：如果 且 ，則 。對於 個不相交的鏈，其中第 個鏈包含 個元素，則有 個理想。一個 元素 籬笆偏序集 的理想數量是 斐波那契數 。