半順序
本はありません。