正則圏
記事はありません。