半環
本はありません。