A one-sided (singly infinite) Z-Transform,
This is the most common variety of Z-transform since it is essentially equivalent to a generating function,
 and it what is usually meant by "the" Z-transform.
 The unilateral -transform
 
 is implemented in the Wolfram Language
 as ZTransform[a,
 n, z].