Search results
Results from the WOW.Com Content Network
A partially ordered set (poset for short) is an ordered pair = (,) consisting of a set (called the ground set of ) and a partial order on . When the meaning is clear from context and there is no ambiguity about the partial order, the set X {\displaystyle X} itself is sometimes called a poset.
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 ...
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 ...
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 ...
In order theory, a discipline within mathematics, a critical pair is a pair of elements in a partially ordered set that are incomparable but that could be made comparable without requiring any other changes to the partial order. Formally, let P = (S, ≤) be a partially ordered set.
Every cofinal subset of a partially ordered set with maximal elements must contain all maximal elements. A subset L {\displaystyle L} of a partially ordered set P {\displaystyle P} is said to be a lower set of P {\displaystyle P} if it is downward closed: if y ∈ L {\displaystyle y\in L} and x ≤ y {\displaystyle x\leq y} then x ∈ L ...
In mathematics, especially in order theory, the greatest element of a subset of a partially ordered set (poset) is an element of that is greater than every other element of . The term least element is defined dually , that is, it is an element of S {\displaystyle S} that is smaller than every other element of S . {\displaystyle S.}