Definition:Strict Upper Closure

Definition
Let $\left({S, \preceq}\right)$ be a partially ordered set.

Let $a \in S$.

Then we define:


 * $\mathop{\uparrow} \left({a}\right) := \left\{{b \in S: a \preceq b \land a \ne b}\right\}$

or alternatively:


 * $\mathop{\uparrow} \left({a}\right) := \left\{{b \in S: a \prec c}\right\}$

That is, $\mathop{\uparrow} \left({a}\right)$ is the set of all elements of $S$ that strictly succeed $a$.

$\mathop{\uparrow} \left({a}\right)$ is described as the strict upper closure of $a$ (in $S$).

Also see

 * Strict Lower Closure
 * Weak Upper Closure