當前位置:首頁 > 科技文檔 > 數學 > 正文

上鄰及弱上鄰

天津師范大學學報(自然科學版) 頁數: 3 2016-09-30
摘要: 首先給出了弱完全交既約元、余dcpo及way-up的概念;然后結合way-up關系和新的輔助關系定義了弱上鄰的概念;最后,借助弱完全交既約元討論了上鄰及弱上鄰在交半格、完備格及余dcpo不同背景下的性質. (共3頁)

開通會員,享受整站包年服務立即開通 >