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.


This category has the following 2 subcategories, out of 2 total.