 Let formula_1 be a measure space.The finite-dimensional distributions of formula_2 are the pushforward measures formula_3, where formula_4, formula_5, is any measurable function.Let formula_6 be a probability space and let formula_7 be a stochastic process.