nLab
null sequence

Let XX be a topological vector space. A null sequence in XX is a convergent sequence whose limit is 0X0 \in X.