Definition:Complete Meet Semilattice
Jump to navigation
Jump to search
Definition
Let $\struct {S, \preceq}$ be an ordered set.
Then $\struct {S, \preceq}$ is a complete meet semilattice if and only if:
- $\forall S' \subseteq S: \inf S' \in S$
That is, if and only if all subsets of $S$ have an infimum.
Also see
Sources
- 1982: Peter T. Johnstone: Stone Spaces: Chapter $\text I$: Preliminaries, $\S4.3$