De este modo, el borde de una variedad así definida será una variedad de dimensión "n"-1.