s）定义为其中最大下界对所有划分formula_20，formula_21都存在，且formula_22。这一定义对于非右连左极函数formula_8是有意义的（就如通常的连续性模对于不连续函数是有意义的）且可以说明formula_8是右连左极函数当且仅当formula_25时formula_26。这是令formula_27表示从formula_9到自身的所有严格递减的连续双射函数的集合（这些函数是“对时间的蠕动”）。令表示formula_9上的函数的一致范数。将formula_12 上的斯科罗