Talk:Totally Bounded Metric Space is Second-Countable/Proof 1

Aside from what is already in this proof, the bulk of Proof 2 basically consists of proving that a Net forms Basis for Metric Space. I added Proof 2 only because this proof was incomplete. Therefore, I suggest extracting the part of Proof 2 which proves that a Net forms Basis for Metric Space into its own page, and keeping only one proof of the result proved here. Thoughts? --abcxyz (talk) 22:38, 27 October 2012 (UTC)