Lemma 4.2.2.label Let $\curl{(X_i,\cali{M}_i)}_{i\in I}$ be measurable spaces and
\begin{align*}\cali{E}=\curl{\caps{}{j\in J}\pi_j\inv (E_j):J\suf I\text{ finite, }E_j\in\cali{M}_j}\end{align*}
then $\cali{E}$ is an elementary family, and $\s(\cali{E})=\tprods{}{i\in I}\cali{M}_{i}$
Post a Comment