So, my professor asked me to prove a theorem, and I only have a question about PART of it.
Theorem: Let be a set and let be a metric on . The set forms a basis for a topology on .
My question is this: Is it necessary to union the empty set with the open balls? I don't understand why this is necessary.