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.
For example, under this assumption, a poset may be defined as a small posetal category, a distributive lattice as a small posetal distributive category, a Heyting algebra as a small posetal finitely cocomplete cartesian closed category, and a Boolean algebra as a small posetal finitely cocomplete *-autonomous category.
A Scott domain is a partially ordered set which is a bounded complete algebraic cpo. Scott open. See Scott topology. Scott topology. For a poset P, a subset O is Scott-open if it is an upper set and all directed sets D that have a supremum in O have non-empty intersection with O. The set of all Scott-open sets forms a topology, the Scott topology.
Sometimes a graded poset is called a ranked poset but that phrase has other meanings; see Ranked poset. A rank or rank level of a graded poset is the subset of all the elements of the poset that have a given rank value. [1] [2] Graded posets play an important role in combinatorics and can be visualized by means of a Hasse diagram.
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 κ.
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.}
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:
In mathematics, a differential poset is a partially ordered set (or poset for short) satisfying certain local properties. (The formal definition is given below.) This family of posets was introduced by Stanley (1988) as a generalization of Young's lattice (the poset of integer partitions ordered by inclusion), many of whose combinatorial properties are shared by all differential posets.