0636f50e6fdbc8e1.tex
1: \begin{definition}\label{def.nearpoint}
2: Let the assumption be as in Theorem \ref{thm.pbu.inv} and put $k'=\k(x')$.
3: \begin{itemize}
4: \item[(1)]
5: $x'\in \pi_X^{-1}(x)$ is near to $x$ if $\HSf {X'} {x'} =\HSf X x$.
6: \item[(2)]
7: $x'$ is very near to $x$ if it is near to $x$ and
8: $e_{x'}(X')+\delta_{x'/x} =e_x(X)_{k'}=e_x(X)$.
9: \end{itemize}
10: \end{definition}
11: