Consistent probability distributions on finite collections of coordinates in standard Borel spaces determine a unique probability measure on the product cylinder -algebra. In particular repeated products of a fixed distribution construct an independent and identically distributed sequence.
