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