Definition:Local Dimension of Topological Space

Definition
Let $X$ be a topological space.

Let $x \in X$.

The local dimension of $X$ at $x$ is the supremum of lengths of nested sequences of closed irreducible sets of $T$ containing $x$, ordered by the subset relation.

Thus, the Krull dimension is $\infty$ there exist arbitrarily long nested sequences containing $x$.

Also see

 * Local Dimension of Topological Space is Local Notion