theorem :: SRINGS_3:25

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