Vocabulary
反射的半順序
はんしゃてきはんじゅんじょ
reflexive partial ordering
noun