Σ环

σ环 （），是指在可列并运算和相对补集运算下封闭的非空集合。

 定义 
设  是非空集合。若  满足下列性质，则称其为σ环：

 对可列并运算封闭： ，若对一切  满足
 对相对补集运算封闭： ，若 

 性质 
1. σ环对可列交运算封闭：其中 为  中的元素。这是由于：

2. 一切σ环都是δ环，但并非所有δ环都是σ环。

 相关概念 
如果将σ环定义中的可列并运算弱化为有限并运算，即对任意 满足 ，则可推出  是环（但不是σ环）。

 参考文献 

Category:集合族
Category:测度论