半順序集合 (はんじゅんじょしゅうごう) — partially ordered set | Kumi Dictionary