Aus der Mitgliedschaft von x folgt die von axb, aus dessen Mitgliedschaft wieder die von aaxbb und so fort. Wir haben also die Menge {x,axb,aaxbb,…}, kurz als {aⁱxbⁱ|i∈ℕ} zu schreiben.