analytischer Raum mit zusätzlicher Eigenschaft.

Ein analytischer Raum X heißt algebraischer Raum, wenn ein affines ℂ–Schema X^′ von endlichem Typ und ein surjektiver Etalmorphismus X^′ → X existiert, so daß X^′ ×_XX^′ ein affines Unterschema von X^′ × X^′ ist.

Das Diagramm \begin{eqnarray}{X}^{^{\prime} }{\times }_{X}{X}^{^{\prime} }\rightrightarrows {X}^{^{\prime} }\end{eqnarray}

definiert so eine etale Äquivalenzrelation auf X^′, deren Quotient X ist.