Opérateur Intérieur

Une application int: P(X) → P(X) sur l'ensemble des parties d'un espace topologique X qui assigne à chaque sous-ensemble sa plus grande partie ouverte ; elle satisfait la contractivité (int(A) ⊆ A), la monotonie (A ⊆ B ⇒ int(A) ⊆ int(B)) et l'idempotence (int(int(A)) = int(A)).