Topologisch inwendige
Van Wikipedia
[bewerk] Definitie
Zij (X,T) een topologische ruimte. Het inwendige van een deelverzameling D van X is de grootste open verzameling van X die in D vervat zit. Vaak wordt het inwendige van een verzameling genoteerd door een cirkeltje boven de uitdrukking van de verzameling: 
Het inwendige bestaat altijd, en kan uitgedrukt worden als de vereniging van alle open delen van X die in D vervat zitten:
Immers, er is altijd minstens één zo'n verzameling F (met name 
), en de vereniging van een willekeurige familie open verzamelingen is opnieuw open.
[bewerk] Gevolgen
Het inwendige is een open verzameling.
Elke open verzameling is haar eigen inwendige.
Het complement van het inwendige is de afsluiting van het complement: 
