(also partial ordering)
A transitive antisymmetric relation among the elements of a set, which does not necessarily apply to each pair of elements.
- In terms of sets, a partial ordering can be obtained by using set inclusion, the relation ‘is a subset of,’ where subset also includes the meaning that a set is a subset of itself.
- Viewed another way, what this says is that if we define a partial ordering on strings such that one string is greater than another if it contains the second as a substring, then there is no infinite antichain.
- Shoham's theory is based on a partial order over models: S can then be characterized as the set of models in K that are minimal in K.
Definition of partial order in:
What do you find interesting about this word or phrase?
Comments that don't adhere to our Community Guidelines may be moderated or removed.