Rand einer Menge bezüglich eines algebraischen Abschlußsystems.

Ist X eine Menge, 𝒜 ein algebraisches Abschluß-system auf X und M ⊆ X, so besteht der algebraische Rand von M aus der Differenz des von M erzeugten Mitglieds von 𝒜 und der Menge M selbst, das heißt aus der Menge [M] \ M.