An important DataStructure used in compilers and otherwhere.

See http://en.wikipedia.org/wiki/Lattice_%28order%29

Can be implemented fairly efficiently with a DirectedAcyclicGraph.
----
See also PartialOrder, MeetsAndJoins, BottomType.

CategoryMath CategoryDataStructure