theorem Thm33: :: SRINGS_4:34

for X being non-empty 1 -element FinSequence
for S being cap-closed-yielding SemiringFamily of X holds { (product <*s*>) where s is Element of S . 1 : verum } is cap-closed semiring_of_sets of { <*x*> where x is Element of X . 1 : verum }