# Definition:Codimension

Let $X$ be a manifold.
Let $Z$ be a submanifold of $X$.
The codimension of $Z$ in $X$ is the dimension of $X$ minus the dimension of $Z$.