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.
The order dual of a partially ordered set is the same set with the partial order relation replaced by its converse. Order-embedding. A function f between posets P and Q is an order-embedding if, for all elements x, y of P, x ≤ y (in P) is equivalent to f(x) ≤ f(y) (in Q). Order isomorphism.
A set with a partial order on it is called a partially ordered set, poset, or just ordered set if the intended meaning is clear. By checking these properties, one immediately sees that the well-known orders on natural numbers , integers , rational numbers and reals are all orders in the above sense.
A partially ordered set (poset) consists of a set of elements together with a binary relation x ≤ y on pairs of elements that is reflexive (x ≤ x for every x), transitive (if x ≤ y and y ≤ z then x ≤ z), and antisymmetric (if both x ≤ y and y ≤ x hold, then x = y).
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.
In the mathematical area of order theory, every partially ordered set P gives rise to a dual (or opposite) partially ordered set which is often denoted by P op or P d.This dual order P op is defined to be the same set, but with the inverse order, i.e. x ≤ y holds in P op if and only if y ≤ x holds in P.
A Hasse diagram of the factors of 60 ordered by the is-a-divisor-of relation. In order theory, a Hasse diagram (/ ˈ h æ s ə /; German:) is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction.
A partial order of dimension 4 (shown as a Hasse diagram) and four total orderings that form a realizer for this partial order.. In mathematics, the dimension of a partially ordered set (poset) is the smallest number of total orders the intersection of which gives rise to the partial order.