pi-base / data

A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
69 stars 24 forks source link

proposed tweak to P48 definition #635

Closed StevenClontz closed 2 months ago

StevenClontz commented 2 months ago

No need to worry if the union of clopen sets is the whole space: just find one, and its complement serves as the other.