Category:Strict Lower Closure is Lower Section

This category contains pages concerning Strict Lower Closure is Lower Section:

Let $\struct {S, \preceq}$ be an ordered set.

Let $p \in S$.

Let $p^\prec$ denote the strict lower closure of $p$.

Then $p^\prec$ is a lower section.