极函数formula_8是有意义的（就如通常的连续性模对于不连续函数是有意义的）且可以说明formula_8是右连左极函数当且仅当formula_25时formula_26。这是令formula_27表示从formula_9到自身的所有严格递减的连续双射函数的集合（这些函数是“对时间的蠕动”）。令表示formula_9上的函数的一致范数。将formula_12 上的斯科罗霍德度量（Skorokhod metric）formula_32定义为其中formula_34是恆等函数。以“蠕动”这种直观感