manchmal auch komplexer Raum genannt, ein geringter Raum (X, _X𝒪), bei dem für jedes x ∈ X eine Umgebung U existiert, so daß (U, _X𝒪 |_U) isomorph zu einem geringten Raum (Y, _Y𝒪) ist, wobei Y eine Untervarietät eines Bereiches in ℂⁿ sei und \begin{eqnarray}Y^O = (n^O /J|_Y ).\end{eqnarray}

Dabei sei 𝔍 die Idealgarbe von Y.