偏序理想

偏序 的一个理想 是 元素的子集，它满足以下性质：如果 且 ，则 。对于 个不相交的链，其中第 个链包含 个元素，则有 个理想。一个 元素 篱笆偏序集 的理想数量是 斐波那契数 。