for X being set
for S being semialgebra_of_sets of X holds Field_generated_by S = DisUnion S