It can be notationally convenient to curry the action α, so that, instead, one has a collection of transformations α g : X → X, with one transformation α g for each group element g ∈ G. The identity and compatibility relations then read