本文引入了S1-代数偏序集的概念,证明了偏序集为S1-代数的当且仅当其上S1-拓扑为强代数格,并证明了S1-连续domain的S1-连续收缩仍为S1-连续domain.
In this paper, the concept of S1- algebraic posets is introduced. It is proved that a poset is S1- algebraic if and only if its S1- topology is strongly algebraic. It is also proved that the S1-continuous retract of an S1 - continuous domain is an S1 - continuous domain.