Def: an **Index** of type $U$ consists of a sequence of labels of type $U$.

If the type $U$ consists of $n$-tuples, then the index is hierarchical, with $n$ levels.