S-超连续偏序集的几个特征

本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。