量可分，且有维数"n"，则可以嵌入到2"n" + 1维欧几里得空间成为子空间。（是的学生。他引入了Nöbeling空间，是R的一个子空间，由至少"n" + 1个座标是无理数的点所组成，这个空间有与"n"维空间嵌入相关的一些泛性质。）若只假设"X"是可度量化，则有（）若只假设"X"是紧致豪斯多夫空间，则有（P. S. Aleksandrov）以上的不等式都可能是严格的；Vladimir V. Filippov有个例子显示两种归纳维数可以不相等。一个可分度量空间"X"的大归纳维数Ind "X" ≤