Математические высказывания, квантификаторы (последовательно

[Rakel]

Помогите понять что это за последовательность: $ \exists a \in R \forall \varepsilon >0 \forall n_{0} \in N \exists n \in N: n>n_{0} \wedge |a_{n}-a|< \varepsilon $

[Someone]

А какие у Вас есть гипотезы?

[Brukvalub]

Это все такие последовательности, которые имеют хотя бы один конечный частичный предел.

[Rakel]

спасибо за первую последовательность!
А вот такая последоваельность:
$ \exists a \in R \exists n_{0} \in N \forall \varepsilon >0 \forall n \in N : n>n_{0} \Rightarrow |a_{n} - a|< \varepsilon $
означает что начиная с некоторого номера последовательность становится равна $ a $, т. е. становится константой? Или нет?

[Someone]

Да.

[Rakel]

спасибо