A partially ordered set (or Poset) is a Set taken together with a Partial Order on it. Formally, a partially ordered set is defined as an ordered pair , where is called the Ground Set of and is the Partial Order of .

**References**

Dushnik, B. and Miller, E. W. ``Partially Ordered Sets.'' *Amer. J. Math.* **63**, 600-610, 1941.

Fishburn, P. C. *Interval Orders and Interval Sets: A Study of Partially Ordered Sets.* New York: Wiley, 1985.

Trotter, W. T. *Combinatorics and Partially Ordered Sets: Dimension Theory.*
Baltimore, MD: Johns Hopkins University Press, 1992.

© 1996-9

1999-05-26