Seamos sistemáticos: la sigma-álgebra más pequeña $\mathcal F$ que contiene $A$ y $B$ es generada por la partición $\{C_1,C_2,C_3,C_4\}$ con $$ C_1=A\setminus B,\quad C_2=B\setminus A,\quad C_3=A\cap B,\quad C_4=\Omega\setminus(A\cup B). $$ Por lo tanto, $\mathcal F=\{C_I\mid I\subseteq\{1,2,3,4\}\}$ donde, para cada $I\subseteq\{1,2,3,4\}$ , $C_I=\bigcup\limits_{i\in I}C_i$ (por ejemplo, $A=C_{\{1,3\}}$ y $B=C_{\{2,3\}}$ ). Por lo tanto, en el caso general (es decir, cuando ninguno de los $C_i$ está vacío), $\mathcal F$ tiene tamaño $2^4=16$ .
Asimismo, la menor álgebra sigma que contiene $n$ subconjuntos tiene, en el caso general, tamaño $2^{2^n}$ .