Uitwendige (topologie)
In de topologie is het uitwendige van een deelverzameling  van een topologische ruimte  de vereniging van alle open verzamelingen van  die disjunct zijn met . Het uitwendige is zelf een open verzameling en is disjunct met . Het uitwendige van  wordt aangegeven door  of .

Anders geformuleerd: Het uitwendige is gelijk aan , aan het complement van de afsluiting van  en aan het inwendige van het complement van  in . 

Veel eigenschappen volgen op een logische manier uit de eigenschappen van de inwendige operator, zoals de onderstaande vier. 
  is een open verzameling die disjunct is met .
  is de vereniging van alle open verzamelingen die disjunct zijn met .
  is de grootste open verzameling die disjunct is met .
 Als  een deelverzameling is van , dan is  een deelverzameling van .

In tegenstelling tot de bewerking die neerkomt op het bepalen van het inwendige van een gegeven verzameling, is  niet idempotent, maar wel geldt dat  een deelverzameling is van .

Topologie