Between Boolean algebras and complete Boolean algebras there is room for many intermediate concepts. The most important one is that of a Boolean σ-algebra; this means, by definition, a Boolean algebra in which every countable set has a supremum (and therefore, of course, an infimum). Similarly a field of sets is a σ-field if it is closed under the formation of countable unions (and intersections).
Unable to display preview. Download preview PDF.