(\forall \varepsilon  > 0) (\exists n_0 \in N)  : (\forall n \in N)    n > n_0 \Longrightarrow |a_n - a|< \varepsilon