 Finitely supported sequence

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