Closed map (source code)

= Closed map
{wiki}

A closed map sends closed subsets of its domain to closed subsets of its codomain. A bijection is a homeomorphism exactly when it is continuous and closed.