Null sequence (source code)

= Null sequence
{title2=$x_n\to0$}

A null sequence is a sequence that converges to the additive identity zero in its ambient topological vector space.