Sober spaces and sober sets (Q2425363)

In this article a quasi-ordered set \((X,\leq)\) is called quasi-sober if there exists a quasi-sober topology on \(X\) such that \(\overline{\{x\}}= ({x\uparrow})\) whenever \(x\in X.\) Moreover if \(\leq\) is an ordering and \((X,\leq)\) is quasi-sober, then \((X,\leq)\) is said to be a sober set. The authors are interested in order-theoretic characterizations of sober sets and, among other things, discuss connections with the theory of spectral posets.