Lattice (algebraic structure)

guillefix 4th November 2016 at 2:43pm

A lattice is an Algebraic structure defined as:

a poset LL in which every pair of elements posseses a join and a meet

A unit element in a lattice LL is an element 11 such that, for all aLa \in L, a1a \preceq 1. A null element in a lattice LL is an element 00 such that, for all aLa \in L, 0a0 \preceq a.

The lattice is complete if a Greatest lower bound and a Least upper bound exist for every subset SS of LL (all that is guaranteed by the definition of a lattice is that these bounds will exist for all finite subsets of L). If these exist, they are denoted as S\wedge S, and S\vee S, respectively.