Supongamos queB es una colección no vacía de subconjuntos deS y let\[ \mathscr A = \left\{\bigcup_{i \in I} B_i: \{B_i: i \in I\} \text{ is a finite, disjoint collection of sets ...Supongamos queB es una colección no vacía de subconjuntos deS y letA={⋃i∈IBi:{Bi:i∈I} is a finite, disjoint collection of sets in B} Si se cumplen las siguientes condiciones, entoncesB es una semiálgebra de subconjuntos deS, y luegoA es el álgebra generada porB.