Bishop–Cannings theorem

The Bishop–Cannings theorem is a result in the field of topology and set-theoretic topology, specifically relating to the nature of compact Hausdorff spaces. It characterizes the collection of compact subsets of a Hausdorff space in terms of continuous images.