Category:Examples of Lattice Orderings