Definition

$\bigvee_{i \in I} \mathcal{B}_i$

We define $\bigvee_{i \in I} \mathcal{B}_i$ to be the smallest $\sigma$-field containing all of the $\sigma$-fields $\mathcal{B}_i$.