给定一个概率空间formula_6，一个可测状态空间formula_7，设formula_8为一个随机过程，并设formula_9为formula_7中的一个可测子集。那么，随机过程formula_11首次接触子集formula_9的击中时定义为以下的随机变量：同样，可以定义formula_11首次离开子集formula_9的离时： 可以看出离时实际上也是击中时的一种，表示首次接触到要研究的子集的补集的时间。很多时候，离时也会记为formula_18，和击中时一样。另外一种击中时是 formul