This notation uses vocabulary that is hard for me to follow. I think it means that you are to show that the set of balls. forms abasisfor the metric topology.

The countable part comes from the given separable. So perhaps you need to post some more about the terms here. Does "its borel -algebra " simply mean the metric generated topology?

Do you have a definitions ofbasis?