Inflattice

A inflattice is a Poset X 𝑋 X that has Meets of all subsets of X 𝑋 X 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.