There are various ways to define the dimension of a topological space (or metric space), in such a way that the dimension is invariant under homeomorphisms. Three approaches are the small inductive dimension, large inductive dimension, and Lebesgue covering dimension. All three only take integer values and agree for separable metric spaces. Compare Hausdorff dimension.