Let $(X,\leq)$ be a partially ordered set such that each nonempty subset of $X$ has a supremum in $X$.
I have two related questions regarding such structures as $(X,\leq)$:
Question 1: Is $(X,\leq)$ equivalent to being a directed-complete partial order that is also a join-semilattice?
Since any nonempty subset of $X$ has a supremum, this in particular holds for any nonempty finite subset of $X$, and so it is a join-semilattice.
Let $U$ be an upward directed set in $X$. Then it is a nonempty subset of $X$, and so it has a supremum. It follows that $(X,\leq)$ is a directed-complete partial order.
Is this reasoning correct?
As the converse also holds, a partially ordered set in which all nonempty sets have a supremum must be equivalent to a directed-complete partial order that is also a join-semilattice.
Question 2: How to name such a poset in which all nonempty subsets have a supremum?
The structure of $(X,\leq)$ is dual to that of posets in which all nonempty subsets have an infimum. The latter is equivalent to bounded completeness, and according to Wikipedia "there is no common name for the dual property" of bounded completeness, i.e., for the structure of $(X,\leq)$ considered here. So, what would be a good name for the structure of $(X,\leq)$? Is there a better name than a directed-complete partial order (a.k.a. dcpo) that is also a join-semilattice?