Saturday, October 17, 2009

Hasse diagram of powerset

In mathematics, especially order theory, a partially ordered set (or poset) formalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with abinary relation that describes, for certain pairs of elements in the set, the requirement that one of the elements must precede the other. However, a partially ordered set differs from a total order in that some pairs of elements may not be related to each other in this way. A finite poset can be visualized through its Hasse diagram, which depicts the ordering relation between certain pairs of elements and allows one to reconstruct the whole partial order structure.

A familiar real-life example of a partially ordered set is a collection of people ordered by genealogical descendancy. Some pairs of people bear the ancestor-descendant relationship, but other pairs bear no such relationship

No comments:

Post a Comment