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.
Join and meet are dual to one another with respect to order inversion. A partially ordered set in which all pairs have a join is a join-semilattice. Dually, a partially ordered set in which all pairs have a meet is a meet-semilattice. A partially ordered set that is both a join-semilattice and a meet-semilattice is a lattice.
If the preordered set (,) also happens to be a partially ordered set (or more generally, if the restriction (,) is a partially ordered set) then is a maximal element of if and only if contains no element strictly greater than ; explicitly, this means that there does not exist any element such that and .
Every partially ordered set can be viewed as a category in a natural way: there is a unique morphism from x to y if and only if x ≤ y. A monotone Galois connection is then nothing but a pair of adjoint functors between two categories that arise from partially ordered sets.
In combinatorial game theory, poset games are mathematical games of strategy, generalizing many well-known games such as Nim and Chomp. [1] In such games, two players start with a poset (a partially ordered set ), and take turns choosing one point in the poset, removing it and all points that are greater.
In mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum and an infimum . A conditionally complete lattice satisfies at least one of these properties for bounded subsets. For comparison, in a general lattice, only pairs of elements need to have a supremum and an infimum. Every non-empty finite ...
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.
If is an arbitrary set, its power set (), ordered by set inclusion, is always a Boolean algebra and hence a poset, and ultrafilters on () are usually called ultrafilters on the set. [ note 1 ] An ultrafilter on a set X {\displaystyle X} may be considered as a finitely additive 0-1-valued measure on P ( X ) {\displaystyle {\mathcal {P}}(X)} .