標籤: 暫無標籤

完全格,是在其中所有子集都有上確界(並)和下確界(交)的偏序集。出現於數學和計算機科學的很多應用中。

  在數學中,完全格是在其中所有子集都有上確界(並)和下確界(交)的偏序集。完全格出現於數學和計算機科學的很多應用中。作為格的特殊實例,在次序論和泛代數中都有所研究。
  完全格一定不能混淆於完全偏序(cpo),它構成嚴格的更加一般的一個偏序集合類別。更特殊的完全格是完全布爾代數和完全Heyting代數(locale)。
上一篇[戴維·羅德里格斯]    下一篇 [聖職者]

相關評論

同義詞:暫無同義詞