A map 
between topological
spaces that maps closed sets to closed
sets. If 
is bijective, then
 |
where 
denotes the inverse map. In particular,
a homeomorphism can be characterized as a continuous
bijection which is open (or, equivalently, closed).
