In a finite-dimensional real vector space, a level set of a nonzero linear functional is an affine hyperplane. Choosing in that level set gives , so its dimension is one less than that of the ambient space. With a Euclidean inner product, translation followed by an orthonormal basis of identifies it isometrically with the lower-dimensional Euclidean space. The coordinate-sum constraint on balanced cut vectors is an example.
New to topics? Read the docs here!