Finitely supported sequence (source code)

= Finitely supported sequence

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