Codimension of a submanifold (source code)

= Codimension of a submanifold
{title2=$\operatorname{codim}_M N=\dim M-\dim N$}

The codimension is the difference between the <dimension of a manifold> and that of its submanifold. For <complex submanifolds>, complex codimension one means real codimension two.