 Kolmogorov goes on to generalize this to an infinite \(\Omega\), and to a sigma-algebra \(F\) of subsets of \(\Omega\): a set closed under complementation and countable union. Additivity is strengthened to hold also in infinite cases: