Let $P = (X, {\preceq})$ be a D1103: Partially ordered set.
A D11: Set $E \subseteq X$ is upward enclosed in $P$ if and only if \begin{equation} \forall \, e \in E : \forall \, x \in X \left( e \preceq x \quad \implies \quad x \in E \right) \end{equation}