 Cylinder function on a product space

A function on a Cartesian product is a cylinder function if it depends on only finitely many coordinates. With finite discrete coordinate spaces it is a continuous function in the product topology. These functions determine finite-dimensional laws and provide a natural domain for local generators of interacting particle systems.