https://topology.pi-base.org/spaces/S000006/properties/P000065
S6|P65: Deleted integer topology on $\mathbb R\setminus\mathbb Z$ | Cardinality $=\mathfrak c$ |...
A community database of topological theorems and spaces, with powerful search and automated proof deduction.