跳至內容

半格

維基百科,自由的百科全書

是一個偏序集,若對於任意的都有最小上界(並),或者對於任意的都有最大下界(交),則稱構成一個半格

也可以將半格定義為一個代數結構。一個半格是一個代數結構,其中如同在的定義中所述。

例子

[編輯]