Kolmogorov extension theorem

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