Definition:Lattice (Ordered Set)

Definition
Let $\left({S, \vee, \wedge}\right)$ be an algebraic structure.

Then $\left({S, \vee, \wedge}\right)$ is called a lattice iff the following axioms are satisfied:

Also see

 * Bounded Lattice
 * Semilattice (Abstract Algebra)