Definition:Multiindex

Definition
Let $J$ be a set.

A $J$-multiindex is a sequence of natural numbers indexed by $J$:
 * $k = \left \langle {k_j}\right \rangle_{j \in J}$

with only finitely many of the $k_j$ non-zero.

Linguistic note
The plural is multiindices (or multi-indices).