Atlas/Analysis/Topology
1/4
Cover [0,1] with open intervals. Heine–Borel: finitely many already suffice.