\[ \newcommand{\d}{\mathrm{d}} \newcommand{\e}{\mathrm{e}} \newcommand{\i}{\mathrm{i}} \]

Let \(S\subset M\) be an embedded submanifold then its codimension is \(\dim M - \dim S\).