For any topological space, the Lebesgue covering dimension is defined to be n if any open cover has a refinement (a second cover where each element is a subset of an element in the first cover) such that no point is included in more than n+1 elements.
