Search results
Results from the WOW.Com Content Network
Thus, another way of stating Sperner's theorem is that the width of the inclusion order on a power set is (⌊ / ⌋). 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 ...
Another way to classify incompatible elements is by mass (lanthanide series): light rare-earth elements (LREE) are La, Ce, Pr, Nd, and Sm, and heavy rare-earth elements (HREE) are Eu–Lu. Rocks or magmas that are rich, or only slightly depleted, in light rare-earth elements are referred to as "fertile", and those with strong depletions in LREE ...
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.)
If the number 1 is excluded, while keeping divisibility as ordering on the elements greater than 1, then the resulting poset does not have a least element, but any prime number is a minimal element for it. 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 ...
Now there are also elements of a poset that are special with respect to some subset of the order. This leads to the definition of upper bounds. Given a subset S of some poset P, an upper bound of S is an element b of P that is above all elements of S. Formally, this means that s ≤ b, for all s in S. Lower bounds again are defined by inverting ...
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.
"Just as a skilled butcher and a assistant, having slaughtered a cattle, are sitting at a crossroads with the carcass divided into portions, so a monk reviews this very body in terms of the elements: 'There are in this body, the earth-element, the water-element, the fire-element, the air-element, the aether-element.'
An element x of S embeds into the completion as its principal ideal, the set ↓ x of elements less than or equal to x. Then (↓ x) u is the set of elements greater than or equal to x, and ((↓ x) u) l = ↓ x, showing that ↓ x is indeed a member of the completion. The mapping from x to ↓ x is an order-embedding. [7]