Started the proof of when a  Boolean Algebra is a \sigma-algebra.