En otras palabras, "G" es cíclico, con generador "a", si "G" = { "a" | "n" ∈ Z }.