部分加群だよ
あらゆる意味で部分加群だ