=+

(a) Let u be a measure (not necessarily even o-finite) on a field $0, and let F=o(5%). If A is a nonempty set in 76 and u( A) < co, restrict u to a finite measure u , on the field 900 A, and extend u , to a finite measure

f, on the o-field FnA generated in A by So O.A.