设有
- 概率空间
;
- 测度空间
,状态空间;
- 有序的指标集
: 可以是非负实数集
、有限时间集
或离散时间
;
- σ-代数
上的参考族
;
- 随机过程
。
当指标集
是(可数的)离散集合,比如
时,
是可预测过程当且仅当对任意的
,
都是
-可测的随机变量[1]:190。通俗地说,只要完全掌握了这个随机过程在
时刻的所有信息,那么
时的取值就是确定的[2]:§8.2。
当指标集
是(不可数的)连续集合,比如
时,
是可预测过程当且仅当对任意的
,
都是
-可测的随机变量。其中的参考族
[2]:§8.2。换句话说,如果知道了随机过程这个随机过程
在
时刻之前任意时刻的取值,那么几乎必然有
,也就是说随机过程在一个特定时刻的取值是之前的取值的极限。另一种等价的定义方式是先定义可预测的σ-代数。给定了参考族
后,可以定义
上的
-可预测σ-代数
:它是由所有的左连续并且对每个
都可测的过程
生成的σ-代数。而一个随机过程是可预测的,当且仅当
作为
上的随机变量是
-可测的[1]:226[3]:171-172。