##  [Interior Operator](/interior-operator-0) 

 Definition

A function int: P(X) → P(X) on the power set of a topological space X that assigns to each subset its largest open subset; it satisfies contractivity (int(A) ⊆ A), monotonicity (A ⊆ B ⇒ int(A) ⊆ int(B)), and idempotence (int(int(A)) = int(A)).

 

 

 

 

 

 





## Principle

Principle

Organizes subsets by their largest open part; interior is the topological operator dual to closure via int(A) = X \ cl(X \ A) and identifies fixed points with open sets.

 

 

 

 

 





## Demonstration

Demonstration

In a metric space, int(A) is the union of all open balls contained in A; for A = [0,1) in R with the standard topology, int(A) = [0,1)∩R° = (0,1).

 

 

 

 

## Misapplication

Misapplication

Treating the interior operator as if it always preserves complements or arbitrary unions without verification can lead to errors; for example, int(X \ A) is not generally the complement of cl(A) unless explicitly using the duality formula.

 

 

 

 

 





## Consequence

Consequence

Correct use yields a lattice of open sets as the collection of int-fixed subsets, and many topological arguments reduce to statements about interior, such as characterizing openness and local properties.

 

 

 

 

## Reversal

Reversal

The corresponding reversal is the closure operator cl; closure is extensive, monotone, and idempotent, and cl and int are De Morgan duals under set complement.

 

 

 

 

 





## Boundary

Boundary

Specified for sets in a topology; the notion depends on the underlying topology and is not meaningful without a topology or an analogous lattice structure on subsets.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension arises between interior as an operator versus interior as a pointwise property (a point being interior to a set); the operator viewpoint encodes global algebraic axioms, the pointwise viewpoint emphasizes local neighborhoods.

 

 

 

 

 





## Synthesis

Synthesis

The interior operator is the canonical idempotent, monotone contraction on P(X) that extracts for each subset its maximal open part, dual to closure and central to the algebraic study of open sets.