Topic: Proof Strategies in Topology

Using Nets to Track Uncountable Neighborhood Behavior

Unpacking Quantifiers in Topological Definitions

The Tube Argument for Product Neighborhoods

The Finite-Intersection Method for Compactness

The Compact-to-Hausdorff Homeomorphism Argument

Proving Continuity With Subbases and Product Coordinates

Pasting Continuous Maps Across Closed Covers

Local Witnesses From Bases and Neighborhood Bases

Extracting Finite Subcovers in Compactness Proofs

Detecting When Sequence Arguments Are Invalid