究里出现的一个概念，表示一个随机过程首次接触到状态空间的某个子集的时间。在特定的例子中，也会被称为离时（脱离时间）或回时（首次回归时间）。
定义.设formula_1是一个有序的指标集，比如说是自然数的集合formula_2、非负实数集formula_3或者是这两者的子集。formula_1中的一个元素formula_5可以被认为是一种记录时间的方式（离散或连续型）。给定一个概率空间formula_6，一个可测状态空间formula_7，设formula_8为一个随机过程，并设for