 Now let us strengthen our closure assumptions regarding \(\mathbf{F}\), requiring it to be closed under complementation and countable union; it is then called a sigma field (or sigma algebra) on \(\Omega\). It is controversial whether we should strengthen finite additivity, as Kolmogorov does: