 This implies that formula_11 is formula_17-adapted.A subset formula_18 is said to be progressively measurable if the process formula_19 is progressively measurable in the sense defined above, where formula_20 is the indicator function of formula_21.The set of all such subsets formula_21 form a sigma algebra on formula_23, denoted by formula_24, and a process formula_11 is progressively measurable in the sense of the previous paragraph if, and only if, it is formula_24-measurable.