弱完全交既约元相关论文
首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约......
根据格上交既约元、完全交既约元的概念,定义了弱完全交既约元,进而得出完备格上弱交既约元的一些性质及相关结论,并给出了完全交......
