theorem :: SRINGS_3:19

for X being set
for S being with_empty_element cap-closed semi-diff-closed Subset-Family of X holds sigmaring (Ring_generated_by S) = sigmaring S