Besides, it gives a convenient tantamount definition to progressive measurability.

• 此外，还给出了循序可测性的一个便于应用的等价定义。