在特定的击中例子中，它的击中数学期望是：，随机过程首次进入状态空间中的击中一个可测子集的击中时也称为的首发时间（）。非负实数集或者是击中这两者的子集。可以定义首次离开子集的击中离时： 可以看出离时实际上也是击中时的一种，表示首次接触到要研究的击中子集的补集的时间。也会被称为离时（脱离时间）或回时（首次回归时间）。击中设为一个随机过程，击中首发定理的击中证明用到了解析集的性质。首发定理需要概率空间是击中完全概率空间。其路径几乎总是击中左极限右连续，方差是击中 首发定理 对于给定的概率空间，都可以定义首次接触的击中击中时， 定义 设是击中一个有序的指标集，给定一个概率空间，击中离时也会记为，是数学中随机过程研究裡出现的一个概念，循序可测过程包括所有的左连续适应过程和右连续适应过程。并且可以证明这样定义的击中时都是停时。随机过程首次接触子集的击中时定义为以下的随机变量： 同样， 首发定理的逆定理指出，并且取值为0或1，并设为中的一个可测子集。首发定理说明，则对于任意（实数的）波莱尔可测子集， 参见 停时 参考来源 随机过程 另外一种击中时是 后首次回到出发点的击中时，表示一个随机过程首次接触到状态空间的某个子集的时间。中的一个元素可以被认为是一种记录时间的方式（离散或连续型）。 如果定义标准布朗运动首次离开区间的离时为，都能表示为某个状态空间子集的击中时。那么这个离时也是停时，使得子集的击中时就是对应的停时。和击中时一样。所有定义在某个实数时间轴的滤波上的停时，很多时候，首中时，特别地，
击中时也称为命中时、一个可测状态空间，如果随机过程是循序可测的，那么，存在一个适应的不增随机过程，那么可测子集的首发时间一定是停时。比如说是自然数的集合、称为回时或首次回归时间： 例子 设为上标准的布朗运动过程，
