Cartesian Product of Semirings of Sets

Theorem
Let $\mathcal S$ and $\mathcal T$ be semirings of sets.

Then $\mathcal S \times \mathcal T$ is also a semiring of sets.

Here, $\times$ denotes Cartesian product.