la_15-停时，并明确指定其筛选规则。也就是说，formula_2 作为停时，根据对 formula_15 的了解，我们可以判断 formula_18 是否已经发生。
例子.为了解释一些是或不是停时的随机时刻，考虑一个玩轮盘赌的赌徒，其具有典型的赌场优势，初始时刻赌资为100元：
局部化.停时经常被用来概括一些情景具备的随机过程特性，在这些情景中需要的条件只在局部意义上被满足。首先，如果 formula_20 是一个（随机）过程，formula_2