Semilattice

partially ordered set in which every nonempty finite set has a least upper bound or in which every nonempty finite set has a greatest lower bound