formula_13が情報系であるとき、formula_14をフィルター付き確率空間(filtered probability space)という。