\begin{definition}[Definition:Local Krull Dimension of Scheme]
Let $\struct {X, \OO_X}$ be a scheme.
Let $x \in X$.
The '''local Krull dimension at $x$''' is the local dimension of $X$ at $x$.
\end{definition}