Hypersurface
= Hypersurface
{wiki}
A hypersurface in an $n$-dimensional <smooth manifold> is a smooth submanifold of dimension $n-1$. Locally, a regular level set $\{\phi=0\}$ with $\nabla\phi\ne0$ is a hypersurface whose <normal vector> is $\nabla\phi$.