Definition:Lower Closure/Element

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

Let $a \in S$.

The lower closure of $a$ (in $S$) is defined as:


 * $a^\preccurlyeq := \left\{{b \in S: b \preccurlyeq a}\right\}$

That is, $a^\preccurlyeq$ is the set of all elements of $S$ that precede $a$.

Also known as
The lower closure of an element $a$ is also known as the down-set of $a$.

The terms weak lower closure and weak down-set are also encountered, so as explicitly to distinguish this from the strict lower closure of $a$.

Also see

 * Definition:Upper Closure of Element
 * Definition:Strict Lower Closure