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 lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet).
In mathematics, the poset topology associated to a poset (S, ≤) is the Alexandrov topology (open sets are upper sets) on the poset of finite chains of (S, ≤), ordered by inclusion. Let V be a set of vertices. An abstract simplicial complex Δ is a set of finite sets of vertices, known as faces , such that
An Eulerian poset which is a lattice is an Eulerian lattice. These objects are named after Leonhard Euler . Eulerian lattices generalize face lattices of convex polytopes and much recent research has been devoted to extending known results from polyhedral combinatorics , such as various restrictions on f -vectors of convex simplicial polytopes ...
More formally, a countable poset = (,) is an interval order if and only if there exists a bijection from to a set of real intervals, so (,), such that for any , we have < in exactly when <. Such posets may be equivalently characterized as those with no induced subposet isomorphic to the pair of two-element chains , in other words as the ( 2 + 2 ...
A pre-caliber of a poset P is a cardinal κ such that for any collection of elements of P indexed by κ, there is a subcollection of cardinality κ that is centered. Here a subset of a poset is called centered if for any finite subset there is an element of the poset less than or equal to all of them.
denote the poset formed by removing x from P. A poset game on P, played between two players conventionally named Alice and Bob, is as follows: Alice chooses a point x ∈ P; thus replacing P with P x, and then passes the turn to Bob who plays on P x, and passes the turn to Alice. A player loses if it is their turn and there are no points to choose.