Compact graph of a continuous map
ID: compact-graph-of-a-continuous-map
The map is continuous into the product topology. It maps a compact space onto the graph of a function of a continuous . Hence that graph is compact, whether or not the codomain is a Hausdorff space. Projection to is its continuous inverse.
New to topics? Read the docs here!