剰余圏
記事はありません。