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.