Added more proofs, and moved the section on Borel Algebra on RR^2 after measurable functions.
Added more proofs, and moved the section on Borel Algebra on RR^2 after measurable functions.

metamath/set.mm,metamath/set.mm,metamath/set.mm