Definition 1.5.35.  Let X be a set, f : X ↔ X be a bijection, a ∈ ℤ. We define:
fa := {fa if a ≥ 0(f-1)−a if a < 0