Category:Semilattices

From ProofWiki
Jump to navigation Jump to search

This category contains results about Semilattices.
Definitions specific to this category can be found in Definitions/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.