lattice
partially ordered set that admits greatest lower and least upper bounds
bounded lattice
algebraic structure, lattice with top and bottom element
Post's lattice
lattice of all clones (sets of logical connectives closed under composition and containing all projections) on a two-element set {0, 1}, ordered by inclusion
metric lattice
lattice that admits a positive valuation
distributive lattice
lattice in which the operations of join and meet distribute over each other
totally ordered set
set paired with a total order
tamari lattice
mathematical object formed by an order on the way of parenthesing an expression
complete lattice
partially ordered set in which all subsets have both a supremum and infimum
Banach lattice
Banach space with a compatible structure of a lattice