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:
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.
A set equipped with a total order is a totally ordered set; [5] the terms simply ordered set, [2] linearly ordered set, [3] [5] toset [6] and loset [7] [8] are also used. The term chain is sometimes defined as a synonym of totally ordered set , [ 5 ] but generally refers to a totally ordered subset of a given partially ordered set.
The identity function on any partially ordered set is always an order automorphism.; Negation is an order isomorphism from (,) to (,) (where is the set of real numbers and denotes the usual numerical comparison), since −x ≥ −y if and only if x ≤ y.
This area also includes one of order theory's most famous open problems, the 1/3–2/3 conjecture, which states that in any finite partially ordered set that is not totally ordered there exists a pair (,) of elements of for which the linear extensions of in which < number between 1/3 and 2/3 of the total number of linear extensions of . [11 ...
In mathematics, a locally finite poset is a partially ordered set P such that for all x, y ∈ P, the interval [x, y] consists of finitely many elements. Given a locally finite poset P we can define its incidence algebra. Elements of the incidence algebra are functions ƒ that assign to each interval [x, y] of P a real number ƒ(x, y).
A given partially ordered set may have several different completions. For instance, one completion of any partially ordered set S is the set of its downwardly closed subsets ordered by inclusion. S is embedded in this (complete) lattice by mapping each element x to the lower set of elements that are less than or equal to x.
In order theory, a branch of mathematics, an order embedding is a special kind of monotone function, which provides a way to include one partially ordered set into another. Like Galois connections, order embeddings constitute a notion which is strictly weaker than the concept of an order isomorphism.