semilattice
Noun
Meaning
semilattice (plural semilattices)
English Wikipedia has an article on:semilatticeWikipedia
(mathematics) A partially ordered set that either has a join (a least upper bound) for any nonempty finite subset (a join-semilattice or upper semilattice) or has a meet (or greatest lower bound) for any nonempty finite subset (a meet-semilattice or lower semilattice). Equivalently, an underlying set which has a binary operation which is associative, commutative, and idempotent.
Synonyms
Examples
As mentioned, becomes graded by this semilattice.
Hence, considering complete lattices with complete semilattice morphisms boils down to considering Galois connections as morphisms.
On the other hand, some authors have no use for this distinction of morphisms (especially since the emerging concepts of "complete semilattice morphisms" can as well be specified in general terms).
Given a homomorphism from an arbitrary semigroup to a semilattice, each inverse image is a (possibly empty) semigroup.