Stratum of a stratified space (source code)

= Stratum of a stratified space

= Strata of a stratified space
{synonym}

A stratum is one <manifold> piece of a stratification, with locally constant dimension and prescribed conical normal neighbourhoods. Its codimension in a pure $N$-dimensional space is $N$ minus its dimension.