Definition:Subsemilattice

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$