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].