Finitely supported sequence (source code)

= Finitely supported sequence
{title2=$c_{00}$}

A finitely supported <sequence> has only finitely many nonzero coordinates. Their <vector space> is commonly denoted $c_{00}$.