Hi. I have a proof of a very basic measure theory theorem related to the definition of a measure, and would like to ask posters if the proof is wrong.
Theorem: If E is measurable, then \overline{E} is measurable and conversely.
My Proof:
Let's try the converse version first.
m(E)=m(E \cap...