正則圏
本はありません。