$\sigma$-algebra closed under countable intersection

-algebra closed under countable intersection

theorem

A [[20231205121417-sigma_algebra|-algebra]] is closed under countable intersection because of De Morgan’s law.

Proof

For a -algebra and sets

The last line is because the -algebra is closed under union and complement.