From these two axioms, it follows that for any fixed g in G, the function from X to itself which maps x to g ⋅ x is a bijection, with inverse bijection the corresponding map for g. Therefore, one may equivalently define a group action of G on X as a group homomorphism from G into the symmetric group Sym(X) of all bijections from X to itself.