:: deftheorem Def1 defines semialgebra_of_sets SRINGS_3:def 6 :
for X being set
for b₂ being with_empty_element cap-closed semi-diff-closed Subset-Family of X holds
( b₂ is semialgebra_of_sets of X iff X in b₂ );