Search results
Results from the WOW.Com Content Network
A power set, partially ordered by inclusion, with rank defined as number of elements, forms a graded poset. In mathematics, in the branch of combinatorics, a graded poset is a partially-ordered set (poset) P equipped with a rank function ρ from P to the set N of all natural numbers. ρ must satisfy the following two properties:
In mathematics, a ranked poset is a partially ordered set in which one of the following (non-equivalent) conditions hold: it is a graded poset, or; a poset with the property that for every element x, all maximal chains among those with x as greatest element have the same finite length, or; a poset in which all maximal chains have the same ...
A k-Sperner poset is a graded poset in which no union of k antichains is larger than the union of the k largest rank levels, [1] or, equivalently, the poset has a maximum k-family consisting of k rank levels. [2] A strict Sperner poset is a graded poset in which all maximum antichains are rank levels. [2]
Forcing with this poset collapses λ down to κ. Levy collapsing: If κ is regular and λ is inaccessible, then P is the set of functions p on subsets of λ × κ with domain of size less than κ and p(α, ξ) < α for every (α, ξ) in the domain of p. This poset collapses all cardinals less than λ onto κ, but keeps λ as the successor to κ.
A graded poset is a poset with a rank function: compatible with the ordering (i.e. () < <) such that covers = + Index of articles associated with the same name This set index article includes a list of related items that share the same name (or similar names).
In this poset, 60 is an upper bound (though not a least upper bound) of the subset {,,,}, which does not have any lower bound (since 1 is not in the poset); on the other hand 2 is a lower bound of the subset of powers of 2, which does not have any upper bound. If the number 0 is included, this will be the greatest element, since this is a ...
When a graded poset has a bottom element, one may assume, without loss of generality, that its rank is zero. In this case, the atoms are the elements with rank one. A graded lattice is semimodular if, for every x {\displaystyle x} and y {\displaystyle y} , its rank function obeys the identity [ 1 ]
Likewise, a greatest element of a partially ordered set (poset) is an upper bound of the set which is contained within the set, whereas a maximal element m of a poset A is an element of A such that if m ≤ b (for any b in A), then m = b. Any least element or greatest element of a poset is unique, but a poset can have several minimal or maximal ...