1: \begin{definition}\label{Sigmamax}

2: Let

3: $\Sigma_X:=\{\HSf {X} x |\; x\in X\} \subset \bNN.$

4: By noetherian induction Theorem \ref{HSf.usc} (3) implies $\Sigma_X$

5: is finite. We define $\SigmaXmax$ to be the set of of the maximal elements in

6: $\Sigma_X$. The set

7: \begin{equation}\label{HSlocul.def}

8: \HSmax X =\underset{\nu\in \SigmaXmax}{\cup}\HSa X

9: \end{equation}

10: is called the Hilbert-Samuel locus of $X$.

11: \end{definition}

12: