theorem :: SRINGS_3:23

for X being non empty set
for S being semialgebra_of_sets of X holds sigma (Field_generated_by S) = sigma S