partial ordering
partial ordering (partial order) A relation defined between elements of some set and satisfying certain properties, discussed below. It is basically a convenient generalization of the usual comparison operators, such as > or <, that are typically defined on the integers or the real numbers. The generalization also captures the essential properties of the set operations such as “is a subset of”, the alphabetic ordering of strings, and so on. In denotational semantics, partial orderings are used to express some approximation relation between partially defined computational objects.
Two different but equivalent definitions of a partial ordering are possible. The first is a generalization of the usual ← operation in which the relation must be a transitive, antisymmetric, and reflexive relation defined on the set S. The second definition is a generalization of the usual < operation in which the relation must be a transitive, asymmetric, and irreflexive relation defined on S. A set with a partial ordering defined on it is called a partially ordered set or sometimes a poset.
Two different but equivalent definitions of a partial ordering are possible. The first is a generalization of the usual ← operation in which the relation must be a transitive, antisymmetric, and reflexive relation defined on the set S. The second definition is a generalization of the usual < operation in which the relation must be a transitive, asymmetric, and irreflexive relation defined on S. A set with a partial ordering defined on it is called a partially ordered set or sometimes a poset.
More From encyclopedia.com
Relation , RELATION
Relation, from the Latin, relatio (referre, relatum ), means a reference, bearing, or towardness, and relative signifies the substantive mea… Order , Order
Few notions have both so rich a heritage of meaning and so clear an application to all fields of knowledge as does order. There are many myths… Inequality , In mathematics , an inequality is a statement about the relative order of members of a set. For instance, if S
is the set of positive integers , and… Precedence , precedence •abeyance, conveyance, purveyance •creance • ambience •irradiance, radiance •expedience, obedience •audience •dalliance, mésalliance •sali… Boolean Algebra , Boolean algebra is often referred to as the algebra of logic, because the English mathematician George Boole, who is largely responsible for its begi… Set Theory , A set is a collection of things. A set can consist of real or literal numbers (such as 1, 2, 3, 4 or a, b, c, d) or of objects (such as baseballs or…
You Might Also Like
NEARBY TERMS
partial ordering