bezüglich eines algebraischen Abschlußsystems abgeschlossene Menge.

Ist X eine Menge und A ein algebraisches Abschlußsystem auf X, so heißt eine Teilmenge M ⊆ X algebraisch abgeschlossen, falls M mit dem von M erzeugten Mitglied von A übereinstimmt, das heißt, falls [M] = M gilt.