Definition of partial order in English:

Share this entry

partial order

(also partial ordering)


A transitive antisymmetric relation among the elements of a set, which does not necessarily apply to each pair of elements.
Example sentences
  • 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.
Share this entry

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.