Database
BASIC TOPOLOGY
Metric subcomplex vector spaces
Neighborhoods and closure
Next ⟩
Convergence and completeness
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 12.5.5. Neighborhoods and closure