Coming soon
This note is part of the notebook and is planned, but has not been written yet.
Planned coverage: Planned note in the GR sequence: Compactness, Connectedness, and Separation Axioms (Hausdorff, second-countability) with the subspace, product, and quotient topologies.