1: \begin{definition}\label{def.label}

2: \begin{itemize}

3: \item[(1)]

4: A prelabel of $(X,Z)$ at $x$ is

5: $$

6: (f,y,u)=(f_1\dots, f_N,\; y_1,\dots,y_r, u_1,\dots,u_e),

7: $$

8: where $(y,u)$ is a system of regular parameters of $R$ such that

9: $(u)$ is admissible for $J$ (cf. Definition \ref{def2.11}) and $f$ is a

10: $(u)$-standard base of $J$. By Lemma \ref{def1.4cor} we have

11: $n_{(u)}(f_i)=n_i$ for $i=1,\dots, N$ and

12: \begin{equation*}\label{ec.eq1}

13: In_{\fm}(J)=\langle F_1(Y),\dots,F_N(Y) \rangle

14: \qwith F_i(Y)=in_0(f_i) \in k[Y]

15: \end{equation*}

16: where $k[Y]= k[Y_1\dots,Y_r] \subset \grmR$ with $Y_i=\inm(y_i)\in \grmR$.

17: \item[(2)]

18: A prelabel $(f,y,u)$ is a label of $(X,Z)$ at $x$ if

19: $\delta(f,y,u)>1$. By Corollary \ref{cor.wellprepared2}, this means that

20: $(y,u)$ is strictly admissible for $J$ and $f$ is a standard base of $J$

21: which is admissible for $(y,u)$. In this case we have

22: \begin{equation*}\label{ec.eq2}

23: \begin{aligned}

24: &v_{\fm}(f_i)=n_i \qaq

25: \inm(f_i) =in_0(f_i) \qfor i=1,\dots, N,\\

26: & \langle Y_1,\ldots,Y_r \rangle =\IDir(R/J)\; \subset \grmR,\\

27: \end{aligned}

28: \end{equation*}

29: \item[(3)]

30: A label $(f,(y,u))$ is well-prepared (resp.

31: %$m$-weakly prepared, resp.

32: totally prepared) if so is $(f,y,u)$ in the sense of Definition

33: \ref{def.wellprepared} (resp. Remark \ref{remark.normalizededges}).

34: By Theorem \ref{thm.wellprepared2}, for a well-prepared label $(f,y,u)$,

35: we have $\Delta(J,u)=\Delta(f,y,u)$.

36: \end{itemize}

37: \end{definition}

38: