Definition:Codimension

Definition
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$.