Doob's Optional Stopping Theorem

Also see

 * Integrable Adapted Stochastic Process is Supermartingale iff Optional Stopping Theorem Holds establishes the converse to this result.
 * Doob's Optional Stopping Theorem for Stopped Sigma-Algebra of Bounded Stopping Time generalises case $(1)$.