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).
