Definition:Total Semilattice/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Total Semilattice

The term total semilattice was invented by $\mathsf{Pr} \infty \mathsf{fWiki}$ in order to make the terminology more compact.

As such, it is not generally expected to be seen in this context outside $\mathsf{Pr} \infty \mathsf{fWiki}$.