Category:Definitions/Semilattices

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Semilattices.
Related results can be found in Category:Semilattices.


Let $\struct {S, \circ}$ be a semigroup.

Then $\struct {S, \circ}$ is called a semilattice if and only if $\circ$ is a commutative and idempotent operation.