Sia un insieme non vuoto, e sia una famiglia di sottoinsiemi di (ovverosia, un sottoinsieme dell'insieme delle parti di ). Diremo che è una δ-algebra su se:
L'insieme vuoto appartiene ad : .
Se un insieme è in , allora il suo complementare è in : .
Se gli elementi di una famiglia numerabile di insiemi sono in , allora la loro intersezione è in : .
Si dimostra che il concetto di δ-algebra coincide con il concetto di σ-algebra. Infatti, sia una δ-algebra su X. Per essere una σ-algebra deve essere chiusa rispetto al complementare e rispetto all'unione al più numerabile. La prima condizione è già soddisfatta, per la seconda. Sia
una famiglia al più numerabile di insiemi della δ-algebra:
avendo usato il teorema di De Morgan. Ora appartengono alla δ-algebra perché essa è chiusa rispetto al complementare. Essa è chiusa anche rispetto all'intersezione. Si conclude che è chiusa anche rispetto all'unione al più numerabile.
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica