formula_1中的一个元素formula_5可以被认为是一种记录时间的方式（离散或连续型）。给定一个概率空间formula_6，一个可测状态空间formula_7，设formula_8为一个随机过程，并设formula_9为formula_7中的一个可测子集。那么，随机过程formula_11首次接触子集formula_9的击中时定义为以下的随机变量：同样，可以定义formula_11首次离开子集formula_9的离时： 可以看出离时实际上也是击中时的一种，表示首次接触到要研究的子集的补集的时