完全格

王朝百科·作者佚名  2010-01-04  
宽屏版  字体: |||超大  

在数学中,完全格是在其中所有子集都有上确界(并)和下确界(交)的偏序集。完全格出现于数学和计算机科学的很多应用中。作为格的特殊实例,在次序论和泛代数中都有所研究。

完全格一定不能混淆于完全偏序(cpo),它构成严格的更加一般的一个偏序集合类别。更特殊的完全格是完全布尔代数和完全Heyting代数(locale)。

 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
© 2005- 王朝百科 版权所有