半順序集合

はんじゅんじょしゅうごう