Lattice (order)/Definition

An ordered set in which any two element set has a supremum and an infimum.