ction::::定义.对于一列随机变量 formula_1，停时 formula_2 是一个随机变量：对 formula_3 能否出现仅依赖于 formula_4，即 formula_2 是几乎必然有限的——尽管有部分书的作者忽略了这个条件。停时在决策论中亦有出现，称为停时规则，其中停止规则被描述为在彼时位置和已发生的事件已知的情形下对继续还是停止一个过程的决定机制，而且几乎总是会产生在某时刻停止的决定。另外，更一般化的定义可以的形式给出：设 formula_6 是一个偏序集（常常使用 formul