# Optional random process

A stochastic process $X = (X_t(\omega),F_t)_{t\ge0}$ that is measurable (as a mapping $(\omega,t) \mapsto X(\omega,t) = X_t(\omega)$) with respect to the optional sigma-algebra $\mathcal{O} = \mathcal{O}(\mathbf{F})$.