Definition:Ordering on Multiindices

Definition
Let $Z$ be the set of multiindices.

We define an ordering on $Z$ as follows.

If $k = \left \langle {k_j}\right \rangle_{j \in J}$ and $\ell = \left \langle {\ell_j}\right \rangle_{j \in J}$ are multiindices, then we write $k \preceq \ell$ if:
 * $\left( \forall j \in J \right) \left( k_j \le \ell_j \right)$

By abuse of notation, it is standard to use $\leq$ to denote the ordering on the set of multiindices as well.

Also see

 * Ordering on Multiindices is Partial Order