Krull Dimension of Open Cover

Definition
Let $\struct {X, \tau}$ be a topological space.

Let $\CC \subseteq \tau$ be an open cover of $X$.

Then:
 * $\map \dim X = \set { \map \dim U : U \in \CC }$

where $\dim$ denotes the Krull dimension.