Definition:Closed Element

Definition
Let $(S, \preceq)$ be a ordered set.

Let $\operatorname{cl}$ be a closure operator on $S$.

Let $x \in S$.

Then $x$ is a closed element of $S$ (with respect to $\operatorname{cl}$) iff:
 * $\operatorname{cl}(x) = x$.