Definition A sigma-ring R is a Family of Sets satisfying the following properties ∀A,B∈R, A−B∈R ∀{Ai}i=1∞⊂R, i=1⋃∞Ai∈R