Suplattice

A suplattice is a Poset X 𝑋 X that has Joins of all subsets of X 𝑋 X . Note that every suplattice has all Meets (and is thus an Inflattice) by the Adjoint Functor Theorem For Posets, but we do not require homomorphisms of suplattices to preserve these meets.