prove that if {B,B,B,...} is a countable
partition of X, then the collection of all unions of sets in the
partition (including the empty set) is a sigma-algebra