🇬🇧 en de 🇩🇪

partial order noun

  • (set theory, order theory) A binary relation that is reflexive, antisymmetric, and transitive.
 Halbordnung, partielle Ordnung
Wiktionary Links