反はん射しゃ的てき半はん順じゅん序じょ

noun

reflexive partial order

Technical term in mathematics (order theory). A partial order that is reflexive, i.e., every element is related to itself.

• 反はん射しゃ的てき半はん順じゅん序じょは、反はん射しゃ律りつ、反はん対たい称しょう律りつ、推すい移い律りつを満みたす二に項こう関かん係けいである。

  A reflexive partial order is a binary relation satisfying reflexivity, antisymmetry, and transitivity.