Definitions for "Codimension"
The codimension of a submanifold is the dimension of the ambient space minus the dimension of the submanifold.
In mathematics, codimension is a basic geometric idea that applies to subspaces in vector spaces, and more generally to submanifolds in manifolds, and suitable subsets of algebraic varieties.