偏序格

偏序格，是指設有集合L上的偏序≤組成偏序集（L，≤），如果任意兩元素a，b∈L所構成的子集均有上確界與下確界，則稱（L，≤）是偏序格。

基本介紹

• 中文名：偏序格
• 符號表示：（L，≤）
• 所屬：偏序格是一種特殊的偏序集
• 特質：滿足一定附加性質

定義

但是，並不是每個偏序集都是偏序格。偏序格是一種特殊的偏序集，是滿足一定附加性質的偏序集。

性質

（L；≤）為格，則對於任意a，b∈L，有

1.a≤aUb, a∩b≤a

2.a≤b 若且唯若aUb=b

3.a≤b若且唯若a∩b=a