1: $.

2: \end{Def}

3: \begin{Rq}

4: The convergence could also be written $