Definition:Subsemilattice
Jump to navigation
Jump to search
Definition
Let $\struct {R, \circ}$ be an algebraic structure with a binary operation.
A subsemilattice of $\struct {R, \circ}$ is a subset $S$ of $R$ such that $\struct {S, \circ_S}$ is a semilattice.
Also see
- Results about subsemilattices can be found here.
Sources
- 1982: Peter T. Johnstone: Stone Spaces ... (previous) ... (next): Chapter $\text I$: Preliminaries, Definition $1.3$