Опр.:
1. Полупространством называется
.
2. Краем полупространства называется 
3.
- полупространство без края.
Опр.:
называется поверхностью размерности
с краем, если:
гомиоморфна либо
, либо
.
Если заменить в определении
на
(куб), а
на
(куб с одной присоединённой гранью), то определение останется эквивалентным.
Опр.:
Точка
называется точкой края, если она имеет окрестность гомеоморфную
.
Опр.:
Совокупность точек края поверхности с краем
называется краем
поверхности.
Пример:
- замкнутый шар
- сфера






