A mathematical formulation for characterizing diffusion processes through martingale properties rather than explicit equations.