1: $

2: as a set of fundamental sequences.

3: 

4: \begin{prop}[Convergence rule]

5: Let $