zu einer algebraischen Menge X das kleinste System von Teilmengen, das alle offenen und abgeschlossenen Mengen enthält und gegenüber (endlicher) Vereinigungen und (endlicher) Durchschnittsbildung abgeschlossen ist.

Dazu gehören insbesondere lokal abgeschlossene Mengen F₁ \ F₂ (F₁, F₂ abgeschlossen). Jede konstruierbare Menge ist Vereinigung endlich vieler irreduzibler lokal abgeschlossener Mengen.

Ist \(X\mathop{\to }\limits^{\varphi }\space Y\) ein Morphismus algebraischer Varietäten, so ist φ(X) ⊂ Y eine konstruierbare Menge.