Trace sigma-algebra/Proof of claim that it actually is a sigma-algebra

NOTE: you are viewing a subpage, go to Trace sigma-algebra to see this proof in its home, this page is intended for editors

Statement

The trace [ilmath]\sigma[/ilmath]-algebra is indeed a [ilmath]\sigma[/ilmath]-algebra.

Proof

(Unknown grade)

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

Easy - just show definition