\left( {\bigcup\limits_{n \in {\bf N}} {B_n } } \right)^C = \bigcap\limits_{n \in {\bf N}} {B_n^C }