释义 |
Partial OrderA Relation `` '' is a partial order on a Set if it has: - 1. Reflexivity:
for all . - 2. Antisymmetry:
and implies . - 3. Transitivity:
and implies . For a partial order, the size of the longest Chain (Antichain) is called the Length (Width). A partially ordered set is also called a Poset.See also Antichain, Chain, Fence Poset, Ideal (Partial Order), Length (Partial Order),Linear Extension, Partially Ordered Set, Total Order, Width (Partial Order) References
Ruskey, F. ``Information on Linear Extension.'' http://sue.csc.uvic.ca/~cos/inf/pose/LinearExt.html.
|