We study where is a Compact Hausdorff Topological Space.

Compact Hausdorff is Normal
Urysohn’s Lemma
Tietze Extension Theorem
Arzela-Ascoli Theorem