Stopping time

A random time τ with {τ ≤ n} ∈ ℱ_n for all n. Encodes decisions that depend only on observed history; enables optional-stopping arguments.