(Stochastic process) Let
be a probability space and
be a measurable space. The family
of measurable mappings
is called "stochastic process". The pair
is called "state space". The
is the time parameter. For a fixed
the mapping
is called "path" of the process.