Continuous bijection (source code)

= Continuous bijection
{title2=$f\text{ continuous and bijective}$}

A continuous bijection is a <continuous map> that is a <bijection>. It need not be a <homeomorphism>, since its <inverse function> need not be <continuous>. The <compact-to-Hausdorff continuous bijection theorem> supplies a useful sufficient condition for the stronger conclusion.