Inflattice
A inflattice is a Poset that has Meets of all subsets of Note that every inflattice has all Joins (and thus is a Suplattice) by the Adjoint Functor Theorem For Posets but we do not require homomorphisms of inflattices to preserves these joins.