Search results
Results from the WOW.Com Content Network
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 ...
The rank is consistent with the covering relation of the ordering, meaning that for all x and y, if y covers x then ρ(y) = ρ(x) + 1. The value of the rank function for an element of the poset is called its rank. Sometimes a graded poset is called a ranked poset but that phrase has other meanings; see Ranked poset.
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.
The educational system [1] generally refers to the structure of all institutions and the opportunities for obtaining education within a country. It includes all pre-school institutions, starting from family education, and/or early childhood education, through kindergarten, primary, secondary, and tertiary schools, then lyceums, colleges, and faculties also known as Higher education (University ...
In order-theoretic mathematics, a graded partially ordered set is said to have the Sperner property (and hence is called a Sperner poset), if no antichain within it is larger than the largest rank level (one of the sets of elements of the same rank) in the poset. [1] Since every rank level is itself an antichain, the Sperner property is ...
A partially ordered set is a directed-complete partial order (dcpo) if each of its directed subsets has a supremum. (A subset of a partial order is directed if it is non-empty and every pair of elements has an upper bound in the subset.) In the literature, dcpos sometimes also appear under the label up-complete poset.
If J is a poset category, then a diagram of type J is a family of objects D i together with a unique morphism f ij : D i → D j whenever i ≤ j. If J is directed then a diagram of type J is called a direct system of objects and morphisms. If the diagram is contravariant then it is called an inverse system.
The poset of positive integers has deviation 0: every descending chain is finite, so the defining condition for deviation is vacuously true. However, its opposite poset has deviation 1. Let k be an algebraically closed field and consider the poset of ideals of the polynomial ring k[x] in one variable. Since the deviation of this poset is the ...