Auf einer Menge M{\displaystyle {}M} nennt man eine Abbildung
einen Hüllenoperator, wenn die folgende Eigenschaften für alles Teilmengen S,T⊆M{\displaystyle {}S,T\subseteq M} gelten.
ist auch