theorem Thm34: :: SRINGS_4:35

for X being non-empty 1 -element FinSequence
for S being cap-closed-yielding SemiringFamily of X holds SemiringProduct S is cap-closed semiring_of_sets of (product X)