一个可测子集。那么，随机过程formula_11首次接触子集formula_9的击中时定义为以下的随机变量：同样，可以定义formula_11首次离开子集formula_9的离时： 可以看出离时实际上也是击中时的一种，表示首次接触到要研究的子集的补集的时间。很多时候，离时也会记为formula_18，和击中时一样。另外一种击中时是 formula_11后首次回到出发点formula_20的击中时，称为回时或首次回归时间： 
首发定理.对于给定的概率空间，随机过程首次