Theorem

properties of monotone sequences

• if $A_n$ is non-decreasing then $\lim A_n = \cup A_n$
• if $A_n$ is non-increasing then $\lim A_n = \cap A_n$