formula_24が情報系のとき、対応する右連続情報系(right-continuous filtration)が