Definitions for "Semilattice"
A semilattice is a poset in which either all finite non-empty joins (suprema) or all finite non-empty meets (infima) exist. Accordingly, one speaks of a join-semilattice or meet-semilattice.
A semilattice is a mathematical concept with two definitions, one as a type of ordered set, the other as an algebraic structure. In mathematical order theory, a semilattice is a partially ordered set (poset) closed under one of two binary operations, either supremum (join) or infimum (meet). Hence one speaks of either a join-semilattice or a meet-semilattice.