摘要
在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.
The relevant definitions and main properties were compared among the continuous lattice .Semi continuous lattice and semi continuous dcpo , and their relations and differences were obtained .So some supple-ments were made and the concept of local semi base about semi continuous dcpo was introduced .And some rele-vant properties and conclusions were obtained .
出处
《佳木斯大学学报(自然科学版)》
CAS
2014年第6期950-951,953,共3页
Journal of Jiamusi University:Natural Science Edition
基金
安徽省自然科学研究项目(KJ2012Z358)
国家自然科学基金项目(11171156)
关键词
分配格
分散完备格
格矩阵
continuous lattice
semi continuous lattice
semi continuous dcpo
local semi base