Covering dimension

Definition

The topological dimension or covering dimension of a topological space is defined as the smallest integer $m$ such that any open cover of the topological space has an open refinement that has order at most $m+1$.