Operador Interior

Una función int: P(X) → P(X) sobre el conjunto de partes de un espacio topológico X que asigna a cada subconjunto su mayor subconjunto abierto; cumple contractividad (int(A) ⊆ A), monotonía (A ⊆ B ⇒ int(A) ⊆ int(B)) e idempotencia (int(int(A)) = int(A)).