theorem :: SRINGS_3:24

for X, S being set st S is SigmaField of X holds
S is SigmaRing of X