Innerer Operator

Eine Abbildung int: P(X) → P(X) auf der Potenzmenge eines topologischen Raums X, die jeder Teilmenge ihr größtes offenes Teilset zuordnet; sie erfüllt Kontraktivität (int(A) ⊆ A), Monotonie (A ⊆ B ⇒ int(A) ⊆ int(B)) und Idempotenz (int(int(A)) = int(A)).