主題
Search

唯一補格


唯一補格是一個有補格 (L, ^ , v ,0,1,^'),它滿足

 ( forall x in L)( forall y in L)[(x ^ y=0) ^ (x v y=1)]=>y=x^'.

唯一補格的類不是有補格類的子簇。另一方面,有一個著名的唯一補格類,它是有補格簇的子簇,即布林代數類。它們構成一個,因為它們是分配的有補格,並且可以證明任何分配的有補格都是唯一補格。


參見

有補格

此條目由 Matt Insall 貢獻 (作者連結)

使用 探索

引用為

Insall, Matt. "唯一補格。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/UniquelyComplementedLattice.html

主題分類