计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
31期
43-44
,共2页
完备剩余格%闭包系统%蕴涵闭包算子%蕴涵闭包系统
完備剩餘格%閉包繫統%蘊涵閉包算子%蘊涵閉包繫統
완비잉여격%폐포계통%온함폐포산자%온함폐포계통
在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系.给出了蕴涵闭包系统的一些性质及其表示定理.进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系.
在完備剩餘格上引入瞭蘊涵閉包繫統的概唸,討論瞭蘊涵閉包繫統與閉包繫統之間的關繫.給齣瞭蘊涵閉包繫統的一些性質及其錶示定理.進一步研究瞭蘊涵閉包算子和蘊涵閉包繫統的關繫.
재완비잉여격상인입료온함폐포계통적개념,토론료온함폐포계통여폐포계통지간적관계.급출료온함폐포계통적일사성질급기표시정리.진일보연구료온함폐포산자화온함폐포계통적관계.