We study $\vee$-semilattices and lattices with the greatest element 1 where every interval [p,1] is a lattice with an antitone involution. We characterize these semilattices by means of an induced binary operation, the so called sectionally antitone involution. This characterization is done by means of identities, thus the classes of these semilattices or lattices form varieties. The congruence properties of these varieties are investigated.

A dcpo $P$ is continuous if and only if the lattice $C\left(P\right)$ of all Scott-closed subsets of $P$ is completely distributive. However, in the case where $P$ is a non-continuous dcpo, little is known about the order structure of $C\left(P\right)$. In this paper, we study the order-theoretic properties of $C\left(P\right)$ for general dcpo’s $P$. The main results are: (i) every $C\left(P\right)$ is C-continuous; (ii) a complete lattice $L$ is isomorphic to $C\left(P\right)$ for a complete semilattice $P$ if and only if $L$ is weak-stably C-algebraic; (iii) for any two complete semilattices...