:: deftheorem DefSigmaRing defines SigmaRing SRINGS_3:def 4 :
for X being set
for b₂ being non empty preBoolean Subset-Family of X holds
( b₂ is SigmaRing of X iff for F being SetSequence of X st rng F c= b₂ holds
Union F in b₂ );