partial order

Noun

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

Japanese Meaning

部分順序：集合論や順序論において、反射的、反対称的、推移的な二項関係を指す。各元が自らと関係を持ち、元と元の間に比較可能な順序が定義されるが、すべての元が互いに比較可能であるとは限らない関係。

集合上の部分順序は、反射的で反対称的かつ推移的な二項関係であり、いくつかの要素が比較できないことがある。

Sense（1）

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

partial orders

（ plural ）