ただし ∘ は準同型の通常の合成である。