Consider, for simplicity, the Borel $\sigma$-algebra of the unit interval $[0,1]$.
Let $\{A_i\}$ be a family of Borel subsets which generate the sigma algebra (can be either countable or uncountable). I was wondering if there is some way of describing all subsets of the sigma-algebra only using $A_i$ and set operations.
Moreover, I am curious if we can linearly order all elements of the Borel sigma algebra in a way that any element in the ordering is either one of the generating elements or can be described as a countable union of elements that have appeared before it.
My motivation is, among other things, to prove following two statements in a straightforward way;
(1) The cardinality of the Borel $\sigma$-algebra equals the cardinality of $\mathbb{R}$.
(2) If a $\pi$ system $K$ is contained in a Dynkin system $D$, then the $\sigma$-algebra generated by $K$ is contained in $D$.