Hüllenoperator, durch eine, zur üblichen äquivalenten, Definition des topologischen Raumes gegeben: Ein topologischer Raum ist ein Paar (X, ¯), bestehend aus einer Menge X und einer Abbildung ¯ auf der Potenzmenge von X, so daß folgende Axiome erfüllt sind:

• \(\bar{\varnothing }=\varnothing \)
• \(A\subset \bar{A}\) für alle A ⊂ X
• \(\bar{\bar{A}}=\bar{A}\) für alle A ⊂ X
• \(\overline{A\cup B}=\bar{A}\cup \bar{B}\) für alle A,B ⊂ X.

Diese Axiome werden auch als Hüllenaxiome bezeichnet, und ¯ als Abschließungsoperator.