Let X be a nonempty set, and let f: X->[0, co] be a function. Define "(A)=ExEAf(x) if A#O and is at most countable, ( A)=co if A is unco table, and u()=0. Show that u is a measure