 Supporting sphere

A supporting sphere for an embedded surface at $p$ is a sphere tangent at $p$ such that the surface lies locally on one side of the sphere. Comparing second fundamental forms at the tangency controls the surface's normal curvature.