1: $.  

2:  

3: 

4: \begin{defin}[Standard setting of convergence]\label{defsetting}$