Search results
Results from the WOW.Com Content Network
An antichain in is a subset of in which each pair of different elements is incomparable; that is, there is no order relation between any two different elements in . (However, some authors use the term "antichain" to mean strong antichain , a subset such that there is no element of the poset smaller than two distinct elements of the antichain.)
A totally ordered set is a partially ordered set in which any two elements are comparable. The Szpilrajn extension theorem states that every partial order is contained in a total order. Intuitively, the theorem says that any method of comparing elements that leaves some pairs incomparable can be extended in such a way that every pair becomes ...
As another example, consider the positive integers, ordered by divisibility: 1 is a least element, as it divides all other elements; on the other hand this poset does not have a greatest element. This partially ordered set does not even have any maximal elements, since any g divides for instance 2g, which is distinct from it, so g is not
An antichain in a partially ordered set is a set of elements no two of which are comparable to each other, and a chain is a set of elements every two of which are comparable. A chain decomposition is a partition of the elements of the order into disjoint chains. Dilworth's theorem states that, in any finite partially ordered set, the largest ...
In a directed set, every pair of elements (particularly pairs of incomparable elements) has a common upper bound within the set. If a directed set has a maximal element, it is also its greatest element, [proof 7] and hence its only maximal element. For a directed set without maximal or greatest elements, see examples 1 and 2 above.
Next it is shown that the poset of partial orders extending , ordered by extension, has a maximal element. The existence of such a maximal element is proved by applying Zorn's lemma to this poset. Zorn's lemma states that a partial order in which every chain has an upper bound has a maximal element. A chain in this poset is a set of relations ...
In a partially ordered set there may be some elements that play a special role. The most basic example is given by the least element of a poset. For example, 1 is the least element of the positive integers and the empty set is the least set under the subset order. Formally, an element m is a least element if: m ≤ a, for all elements a of the ...
A graded partially ordered set is said to have the Sperner property when one of its largest antichains is formed by a set of elements that all have the same rank. In this terminology, Sperner's theorem states that the partially ordered set of all subsets of a finite set, partially ordered by set inclusion, has the Sperner property.