Definition:Codimension

Definition
For an arbitrary submanifold $Z$ of a manifold $X$, the codimension of $Z$ in $X$ is the dimension of $X$ minus the dimension of $Z$.