更新时间：2024-05-21 13:41
半环是环论的一个概念。
非空集类P为半环，若满足
（1）若E,F∈P，则E∩F∈P；
（2）若E,F∈P，且E⊆F，则存在有限集类{C0,C1,...,Cn}满足E=C0⊆C1⊆...⊆Cn=F，且Di=Ci-Ci-1∈P，i=1,...,n。
所有半环均包含空集。
若X为集，空集与所有单元集组成的集类为半环。
若X为实线，则所有有界左闭右开区间的集类为半环。