ProbabilityTheoryStochasticProcesses A Stochastic Process is an elementary process if
is progressive bounded and -measurable s.t. where . Given any a Martingale bounded in L2, the closure of the set of elementary processes with respect to the norm: is the Hilbert space with inner product Note that is closed under restriction to compact time-intervals: for any stopping time as is left-continuous thus is progressively measurable.