What is the meaning of Partial_order?
An ordering of the elements of a collection that behaves like that of the natural numbers by size, except that some elements may not be comparable (if all elements are comparable, it is called a total order); a binary relation that is reflexive, antisymmetric, and transitive.
Source: wiktionary.orgSearch words containing