Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
At closed subspace, I added some material on the 14 operations derivable from closures and complements. For no particularly great reason except that it’s a curiosity I’d never bothered to work through until now.
I’ve been adding more assorted observations to closed subspace, interior, and boundary.
Also Thomas Holder added some nice material at boundary in a section “Some ramifications”.
the entry closed subspace used to request a link to law of double negation. To un-gray the link, I have created such an entry.
in the vein of adding elementary proofs of basic facts in topology, I added statement and proof for metric spaces of the characterization of closed subspaces via converging sequences, here
1 to 6 of 6