SiS en sí mismo es miembro de un anillo (σ-ring)M, llamamos aM un campo conjunto (σ-field), o un álgebra de conjunto (σ-álgebra), inS. Ve...SiS en sí mismo es miembro de un anillo (σ-ring)M, llamamos aM un campo conjunto (σ-field), o un álgebra de conjunto (σ-álgebra), inS. Vemos que de hechoR es unσ -campo enS, conM⊆R. ComoR es la intersección de todosRi (es decir, todosσ -campos⊇M), tenemos