with ∘ being function composition. The second axiom then states that the function composition is compatible with the group multiplication; they form a commutative diagram. This axiom can be shortened even further, and written as α g ∘ α h = α gh.