A partially ordered set (L,≤) is called a lattice if each two-element subset {a,b}⊆L has supremum and infimum in L, denoted by a∨b and a∧b, respectively.
If (L,≤) is a total ordering, then by definition, a≤b or b≤a for all a,b∈L. If a≤b, then a∨b=b∈L and a∧b=a∈L. If b≤a, then a∨b=a∈L and a∧b=b∈L.
Therefore, every total ordering is a lattice.
Comments