正交補格

正交補格（orthocomplemented lattice）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：正交補格
• 外文名：orthocomplemented lattice
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

一個有補格。其中的補運算(′)具有唯一性，且滿足對合律，即( a ′)′ = a ，並且是保序的，即有a≤b⇒b′≤a′ 成立。

出處

《計算機科學技術名詞 》 (第三版)。