for n being non zero Nat
for X being non-empty b₁ -element FinSequence
for S being ClassicalSemiringFamily of X holds S is cap-closed-yielding SemiringFamily of X