L~1有界Pramart的格性

设(Ω,■,P)是一概率空间,(■_n)_(n≥1),是■的上升子σ代数列,T是有界停时全体。一个适应可积(实值)序列(x_n,(?)_n)_(n≥1)是Pramart,若对任意的ε>0,有