Definition:Meet Irreducible

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

Let $g \in S$.

Then $g$ is meet irreducible :
 * $\forall x, y \in S: g = x \wedge y \implies g = x$ or $g = y$