Category:Total Semilattices

This category contains results about Total Semilattices.

Let $\struct {S, \odot}$ be a semilattice.

Let $\struct {S, \odot}$ have the property that every subset of $\struct {S, \odot}$ is a subsemilattice.

That is, such that every subset of $\struct {S, \odot}$ is closed under $\odot$.

Then $\struct {S, \odot}$ is known as a total semilattice.