abgeschlossene Abbildung (Topologie)

Seien \((X, \mathcal{T})\) und \((X', \mathcal{T}')\) topologische Räume. Eine Abbildung \(f: X \rightarrow X'\) ist abgeschlossen, falls für eine abgeschlossene Menge \(A \subseteq X\) \(f[A] \subseteq X'\) ebenfalls offen ist.