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.
Base.See continuous poset.; Binary relation.A binary relation over two sets is a subset of their Cartesian product.; Boolean algebra.A Boolean algebra is a distributive lattice with least element 0 and greatest element 1, in which every element x has a complement ¬x, such that x ∧ ¬x = 0 and x ∨ ¬x = 1.
In mathematics, specifically category theory, a posetal category, or thin category, [1] is a category whose homsets each contain at most one morphism. [2] As such, a posetal category amounts to a preordered class (or a preordered set, if its objects form a set).
In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the 'extension'); to force a statement of interest thus requires construction of a suitable P.
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: The rank function is compatible with the ordering, meaning that for all x and y in the order, if x < y then ρ(x) < ρ(y), and
An up-down poset Q(a,b) is a generalization of a zigzag poset in which there are a downward orientations for every upward one and b total elements. [5] For instance, Q(2,9) has the elements and relations > > < > > < > >. In this notation, a fence is a partially ordered set of the form Q(1,n).
The least and greatest element of the whole partially ordered set play a special role and are also called bottom (⊥) and top (⊤), or zero (0) and unit (1), respectively. If both exist, the poset is called a bounded poset. The notation of 0 and 1 is used preferably when the poset is a complemented lattice, and when no confusion is likely, i ...
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.