This result formalizes let be a complex manifold, let be a domain with smooth boundary , and regard as a smooth real hypersurface with its induced CR structure . It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.