Abstract In this paper, we introduce the concept of S 2 -C-continuous poset by cut operator. The main results are: (1) A sup-semilattice is both S 2 -C-continuous and S 2 -continuous if and only if it is S 2 -CD; (2) A sup-semilattice is both S 2 -C-continuous and hypercontinuous if and only if it is S 2 -CD; (3) A sup-semilattice is both S 2 -QC-continuous and S 2 -quasicontinuous if and only if it is S 2 -GCD; (4) A sup-semilattice is both S 2 -QC-continuous and quasi-hypercontinuous if and only if it is S 2 -GCD; (5) A poset is S 2 -C-continuous if and only if it is both S 2 -MC-continuous and S 2 -QC-continuous; (6) A poset is S 2 -CD if and only if its order dual is S 2 -CD; (7) A semi-lattice is S 2 -GCD if and only if its order dual is hypercontinuous; (8) The lattice of all σ 2 -closed subsets of a poset is C-continuous; (9) A poset P is S 2 -continuous if and only if the lattice C 2 ( P ) of all σ 2 -closed subsets of P is a continuous lattice if and only if C 2 ( P ) is a CD lattice; (10) A poset P is S 2 -quasicontinuous if and only if the lattice σ 2 ( P ) of all σ 2 -open subsets of P is a hypercontinuous lattice if and only if C 2 ( P ) is a GCD lattice if and only if C 2 ( P ) is a quasicontinuous lattice.
[1]
Wei Yao,et al.
M-SCOTT CONVERGENCE AND M-SCOTT TOPOLOGY ON POSETS
,
2011
.
[2]
A. Császár.
Generalized topology, generized continuity
,
2002
.
[3]
K. Hofmann,et al.
Continuous Lattices and Domains
,
2003
.
[4]
Weng Kin Ho,et al.
Lattices of Scott-closed sets
,
2009
.
[5]
Xiaoquan Xu,et al.
S2-Quasicontinuous posets
,
2015,
Theor. Comput. Sci..
[6]
J. D. Lawson,et al.
Generalized continuous and hypercontinuous lattices
,
1981
.
[7]
Xiaoquan Xu,et al.
The dual of a generalized completely distributive lattice is a hypercontinuous lattice
,
2010
.
[8]
Qingyu He,et al.
QC-continuity of posets and the Hoare powerdomain of QFS-domains☆
,
2016
.
[9]
George N. Raney,et al.
A subdirect-union representation for completely distributive complete lattices
,
1953
.
[10]
Brian A. Davey,et al.
An Introduction to Lattices and Order
,
1989
.
[11]
Xiaoquan Xu,et al.
The σ1-topology and λ1-topology on s1-quasicontinuous posets☆
,
2016
.