Collar neighborhood (source code)

= Collar neighborhood
{wiki=Collar_neighbourhood}

= Collar neighbourhood
{synonym}

A collar neighborhood identifies a neighborhood of the boundary with $\partial W\times[0,\varepsilon)$, with the boundary at parameter zero. It allows a manifold's boundary to be pushed slightly inward by a <homotopy>.