Ist
{fn} Z-transformierbar für

, dann ist die zugehörige Bildfunktion
F(z) eine analytische Funktion für
| z | > 1/R und gleichzeitig die einzige Bildfunktion von

. Für die Umkehrung gilt: Ist
F(z) eine analytische Funktion für
| z | > 1/R und auch für

regulär, dann gibt es zu
F(z) genau eine Originalfolge

. Dabei heißt
F(z) regulär für

, wenn
F(z) eine Potenzreihenentwicklung der Form (
15.109) besitzt und

gilt.