插入性质相关论文
记A表示以完备格为对象且<<满足插入性质,保Z-并和保≤z的映射作为态射的范畴,而B是A中全体Z-连续格为对象的满子范畴.我们给出了Z......
辅助关系是定义在偏序集上的一种重要的二元关系.当偏序集为定向完备集时,其上的辅助关系性质比较丰富.将辅助关系的概念及有关性......
