\begin{definition}[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$.
Category:Definitions/Topology
\end{definition}