Meet Semilattice

A meet semilattice is a Poset that has all finite Meets.