反射的半順序 (はんしゃてきはんじゅんじょ) — reflexive partial ordering | Kumi Dictionary