Join Semilattice

A join semilattice is a Poset that has all finite Joins.