Definition:Strict Up-Set

Strict Up-Set of Element
Let $\left({S, \preceq}\right)$ be an ordered set or preordered set.

Let $a \in S$.

Then we define:


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

or alternatively:


 * ${\dot\uparrow} a := \left\{{b \in S: a \prec b}\right\}$

That is, ${\dot\uparrow} a$ is the set of all elements of $S$ that strictly succeed $a$.

${\dot\uparrow} a$ is described as the strict up-set of $a$ (in $S$).

Strict Up-Set of Set
Let $\left({S, \preceq}\right)$ be an ordered set or preordered set.

Let $T \subseteq S$.

Then we define:


 * ${\dot\uparrow} T := \bigcup \left\{{ {\dot\uparrow} t: t \in T }\right\}$

${\dot\uparrow} T$ is described as the strict up-set of $T$ (in $S$).

Remark
In most cases, there can be no confusion as to whether the strict up-set of an element or of a set is intended. Where that is ambiguous, it should be indicated in the text.

Also known as
Some call this a strict up set.

Some place the arrow after the element instead of before.

Some use $U(a)$ instead of ${\dot\uparrow} a$.

On, this is often called strict upper closure and written ${\uparrow}a$, but this is likely to change soon.

Also see

 * Strict Down-Set
 * Upper Closure