An important DataStructure used in compilers and otherwhere.
See http://en.wikipedia.org/wiki/Lattice_(order)
Can be implemented fairly efficiently with a DirectedAcyclicGraph.
See also PartialOrder, MeetsAndJoins, BottomType.
CategoryMath CategoryDataStructure