Definify.com

Definition 2024


partial_order

partial order

See also: partial-order

English

A partially ordered set with divisibility relation

Noun

partial order (plural partial orders)

  1. (set theory) A relation that is reflexive, antisymmetric, and transitive.

Synonyms

Hypernyms

Hyponyms

Related terms

Translations

References

  • B. Dushnik and E. W. Miller, Partially Ordered Sets, Amer. J. Math. 63 (1941), 600-610.