for n being non zero Nat
for X being non-empty b₁ -element FinSequence
for S being ClassicalSemiringFamily of X holds MeasurableRectangle S is cap-closed with_empty_element semi-diff-closed Subset-Family of (product X)