让$\mathrm{<trans\; data-src="X">X（X）</trans>}<trans\; data-src="\subset ">\subset </trans>{\mathbb{<trans\; data-src="R">对</trans>}}^{\mathrm{<trans\; data-src="n">n个</trans>}}$是一个可以在上的o-极小结构中定义的集$\mathbb{<trans\; data-src="R">对</trans>}$本文表明，在适当的意义上$\mathrm{<trans\; data-src="X">X（X）</trans>}$它不位于$\mathrm{<trans\; data-src="X">X（X）</trans>}$正维度