::::首发定理.对于给定的概率空间，随机过程首次进入状态空间中的一个可测子集formula_33的击中时也称为formula_33的首发时间（）。首发定理说明，如果随机过程是循序可测的，那么可测子集的首发时间一定是停时。循序可测过程包括所有的左连续适应过程和右连续适应过程。首发定理的证明用到了解析集的性质。首发定理需要概率空间是完全概率空间。首发定理的逆定理指出，所有定义在某个实数时间轴的滤波上的停时，都能表示为某个状态空间子集的击中时。特别地，存在一个适应的不增随机过程，其路径几乎总是左极限右连续