Definition:Meet Closed

Definition

Let $L = \left({S, \wedge, \preceq}\right)$ be a meet semilattice.

Let $X$ be a subset of $S$.

Then $X$ is meet closed if and only if

$\forall x, y \in X: x \wedge y \in X$

Sources

• Mizar article YELLOW_0:def 16