=+13.2.

(a) For a map T and o-fields 9 and ', define T-19' =[T-'A': A' € 9]

and T9 -[A': T-'A' € 9 ]. Show that T -19' and TS are o-fields and that measurability $/ 9 is equivalent to T-19'. and to PCT9.