🇬🇧 en ja 🇯🇵

partial order noun

  • (set theory, order theory) A binary relation that is reflexive, antisymmetric, and transitive.
半順序
Wiktionary Links