Witt space with collared boundary (source code)

= Witt space with collared boundary
{c}

A compact <stratified space> with boundary is a <Witt space> with collared boundary when its interior and boundary are <Witt spaces> and a stratified neighbourhood of the boundary is $\partial X\times[0,\varepsilon)$, with product stratification. <Orientations> are carried by the regular strata and induce the usual boundary <orientation>.