Abschlussoperator

Ein Abschlussoperator auf einer Menge X ist eine Abbildung cl: P(X) → P(X), die jeder Teilmenge A ihren Abschluss cl(A) zuordnet und drei Axiome erfüllt: Extensivität (A ⊆ cl(A)), Monotonie (A ⊆ B ⇒ cl(A) ⊆ cl(B)) und Idempotenz (cl(cl(A)) = cl(A)). In der Topologie ist cl(A) die kleinste abgeschlossene Obermenge von A.