#Contents# * table of contents {:toc} ## Definition ## A __lattice__ is a [[poset]] or (0,1)-category $(P, \leq, \bot, \vee, \top, \wedge)$ such that $(P, \leq, \bot, \vee)$ is a [[join-semilattice]] and $(P, \leq, \top, \wedge)$ is a [[meet-semilattice]] ## See also ## * [[poset]] * [[join-semilattice]] * [[meet-semilattice]] * [[distributive lattice]] * [[sigma-complete lattice]] * [[suplattice]]