Definition:Codimension

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