The probability generating functional (p.g.fl.) of a non-homogeneous Poisson cluster process is characterized in Ammann and Thall (1977) via a decomposition of the KLM measure of the process. This p.g.fl. representation is utilized in the present article to show that the family 𝒟 of Poisson cluster processes with a.s. finite clusters is invariant under a class of cluster transformations. Explicit expressions for the finite-dimensional count distributions, product moment measures, and the distribution of clusters are derived in terms of the KLM measure. It is also shown that an element of 𝒟 has no multiple events iff the points of each cluster are a.s. distinct.